Formal Specifications of Software Design Methods

A new approach to the formal specification of software design methods, such as ER or State Transition Diagrams, is presented. A formal language based on semantic constraints is used to specify those methods. An example using the UML’s Activity Diagrams is given which illustrates the proposed approach. The aim of this work is to provide a bridge across the gap between the formal methods and the less formal ones used in software design.

Content

Author and article information

Contributors

J. Artur Serrano

Conference

Publication date: July 1999

Publication date (Print): July 1999

Pages: 1-17

Affiliations

[0001]Departamento de Electrónica e Telecomunicações, University of Aveiro

Aveiro, Portugal

Article

DOI: 10.14236/ewic/IWFM1999.16

SO-VID: 997cec23-ad16-4cbe-8f03-1a196bb6691d

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 3rd Irish Workshop on Formal Methods

Conference acronym: IWFM

Conference number: 3

Conference location: Galway, Ireland

Conference date: 1st - 2nd July 1999

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM1999.16

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Formal Specifications of Software Design Methods

Abstract