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 language | English |
---|---|
Title of host publication | Software Engineering for Parallel and Distributed Systems |
Subtitle of host publication | Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 |
Editors | Innes Jelly, Ian Gorton, Peter Croll |
Place of Publication | United States |
Publisher | Springer |
Pages | 158-169 |
Number of pages | 12 |
ISBN (Electronic) | 9780387349848 |
ISBN (Print) | 9781504129480 |
DOIs | |
Publication status | Published - 1996 |
Externally published | Yes |
Event | First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering (IFIP 1996) - United Kingdom, United Kingdom, United Kingdom Duration: 1 Mar 1996 → 1 Mar 1996 |
Workshop
Workshop | First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering (IFIP 1996) |
---|---|
Abbreviated title | IFIP 1996 |
Country/Territory | United Kingdom |
City | United Kingdom |
Period | 1/03/96 → 1/03/96 |