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]


Preview
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
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