Trinity College Dublin, Department of Computer Science
Citation:
Nixon, Patrick. 'Concurrent semantics for structured design methods'. - Dublin, Trinity College Dublin, Department of Computer Science, TCD-CS-96-03, 1996, pp12
Series/Report no.:
Computer Science Technical Report TCD-CS-96-03
Abstract:
Design methods can be ambiguous due to di erent 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. Speci cally, it ensures that concurrent and real-time
properties of the design can be captured and analysed. This paper concentrates on the
concurrent properties.
Description:
Also in Jelly, I., Gordon, I., & Groll, P. Software Engineering for Parallel and Distributed Systems. London: Chapman Hall.
Please note: There is a known bug in some browsers that causes an
error when a user tries to view large pdf file within the browser window.
If you receive the message "The file is damaged and could not be
repaired", please try one of the solutions linked below based on the
browser you are using.
Items in TARA are protected by copyright, with all rights reserved, unless otherwise indicated.
