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 | Unknown Host Publication |
Editors | I Gorton and P Croll I Jelly |
Publisher | Chapman and Hall Medical |
Pages | 158-169 |
Number of pages | 12 |
ISBN (Print) | 9780412757402 |
Publication status | Published (in print/issue) - 1996 |
Event | Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering - Berlin Duration: 1 Jan 1996 → … |
Conference
Conference | Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering |
---|---|
Period | 1/01/96 → … |
Keywords
- n/a