Concurrent semantics for structured design methods

Patrick Nixon, Lihua Shi

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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.
    Original languageEnglish
    Title of host publicationUnknown Host Publication
    EditorsI Gorton and P Croll I Jelly
    PublisherChapman and Hall Medical
    Pages158-169
    Number of pages12
    ISBN (Print)9780412757402
    Publication statusPublished - 1996
    EventSoftware engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering - Berlin
    Duration: 1 Jan 1996 → …

    Conference

    ConferenceSoftware engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering
    Period1/01/96 → …

    Keywords

    • n/a

    Fingerprint Dive into the research topics of 'Concurrent semantics for structured design methods'. Together they form a unique fingerprint.

  • Cite this

    Nixon, P., & Shi, L. (1996). Concurrent semantics for structured design methods. In I. G. A. P. C. I Jelly (Ed.), Unknown Host Publication (pp. 158-169). Chapman and Hall Medical. http://ecite.utas.edu.au/69370