eCite Digital Repository
Concurrent semantics for structured design methods
Citation
Nixon, Paddy and Shi, Lihua, Concurrent semantics for structured design methods, Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering , March 1996, Berlin, pp. 158-169. ISBN 9780412757402 (1996) [Refereed Conference Paper]
![]() | PDF Not available 144Kb |
Copyright Statement
Copyright 1996 Chapman & Hall
Official URL: https://www.informatik.uni-trier.de/~ley/db/conf/p...
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. Specifcally, it ensures that concurrent and real-time properties of the design can be captured and analysed. This paper concentrates on the concurrent properties.
Item Details
Item Type: | Refereed Conference Paper |
---|---|
Research Division: | Information and Computing Sciences |
Research Group: | Distributed computing and systems software |
Research Field: | Concurrent/parallel systems and technologies |
Objective Division: | Information and Communication Services |
Objective Group: | Information systems, technologies and services |
Objective Field: | Information systems, technologies and services not elsewhere classified |
UTAS Author: | Nixon, Paddy (Professor Paddy Nixon) |
ID Code: | 69370 |
Year Published: | 1996 |
Deposited By: | Research Division |
Deposited On: | 2011-04-20 |
Last Modified: | 2012-11-27 |
Downloads: | 0 |
Repository Staff Only: item control page