Concurrent semantics for structured design methods

Paddy Nixon, Lihua Shi

Research output: A Conference proceeding or a Chapter in BookConference contributionpeer-review

Abstract

Design methods can be ambiguous due to different interpretations of symbols or concepts. This paper presents a formal semantics for the Ward/Mellor Structured Analysis Method for Real Time systems. These semantics ensures that an unambiguous meaning can be attributed to a particular design. Specifically, it ensures that concurrent and real-time properties of the design can be captured and analysed. This paper concentrates on the concurrent properties.
Original languageEnglish
Title of host publicationSoftware Engineering for Parallel and Distributed Systems
Subtitle of host publicationProceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996
EditorsInnes Jelly, Ian Gorton, Peter Croll
Place of PublicationUnited States
PublisherSpringer
Pages158-169
Number of pages12
ISBN (Electronic)9780387349848
ISBN (Print)9781504129480
DOIs
Publication statusPublished - 1996
Externally publishedYes
EventFirst IFIP TC10 International Workshop on Parallel and Distributed Software Engineering (IFIP 1996) - United Kingdom, United Kingdom, United Kingdom
Duration: 1 Mar 19961 Mar 1996

Workshop

WorkshopFirst IFIP TC10 International Workshop on Parallel and Distributed Software Engineering (IFIP 1996)
Abbreviated titleIFIP 1996
Country/TerritoryUnited Kingdom
CityUnited Kingdom
Period1/03/961/03/96

Fingerprint

Dive into the research topics of 'Concurrent semantics for structured design methods'. Together they form a unique fingerprint.

Cite this