The University of Dublin | Trinity College -- Ollscoil Átha Cliath | Coláiste na Tríonóide
Trinity's Access to Research Archive
Home :: Log In :: Submit :: Alerts ::

School of Computer Science and Statistics >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:

Title: Concurrent semantics for structured design methods
Author: Nixon, Patrick
Keywords: Structured methods
Real-time systems
Issue Date: Feb-1996
Publisher: 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
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.
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
TCD-CS-96-03.pdf159.02 kBAdobe PDFView/Open

This item is protected by original copyright

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.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback