• Concurrent semantics for structured design methods

    Thumbnail Image

    Files

    TCD-CS-96-03.pdf (159.02 KB)

    Date

    1996-02

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    Trinity College Dublin, Department of Computer Science

    Access

    Embargo end date

    Citation

    Nixon, Patrick. 'Concurrent semantics for structured design methods'. - Dublin, Trinity College Dublin, Department of Computer Science, TCD-CS-96-03, 1996, pp12

    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.

    URI

    http://hdl.handle.net/2262/12950

    Collections

    Computer Science Technical Reports

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Structured methods, Concurrency, Real-time systems

    Author: Nixon, Patrick

    Publisher: Trinity College Dublin, Department of Computer Science
    Type of material: Technical Report