Ulster University Logo

Concurrent semantics for structured design methods

Nixon, Patrick and Shi, Lihua (1996) Concurrent semantics for structured design methods. In: Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, Berlin. Chapman & Hall. 12 pp. [Conference contribution]

Full text not available from this repository.

URL: http://ecite.utas.edu.au/69370

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.

Item Type:Conference contribution (Paper)
Keywords:n/a
Research Institutes and Groups:Computer Science Research Institute
ID Code:34269
Deposited By: Wendy Aiken (Admin)
Deposited On:18 Apr 2016 11:01
Last Modified:18 Apr 2016 11:01

Repository Staff Only: item control page