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: | Computer Software |
| Research Field: | Concurrent Programming |
| Objective Division: | Information and Communication Services |
| Objective Group: | Computer Software and Services |
| Objective Field: | Computer Software 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