Denotational semantics for JSD

W. Lok YEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)

1 Scopus Citations

Abstract

This paper discusses the use of denotational semantics in formalizing the notations of structured methods. Using the Jackson System Development (JSD) method as an example, the techniques of denotational semantics are applied to the JSD notations to give them a formal semantics based on lambda calculus and Communicating Sequential Processes (CSP). A JSD design can then be readily translated into CSP based on the semantic definition.
Original languageEnglish
Title of host publicationProceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
PublisherIEEE Comp Soc, Los Alamitos, CA, United States
Pages72-80
Number of pages9
ISBN (Print)081868271X
DOIs
Publication statusPublished - 1 Jan 1997

Fingerprint Dive into the research topics of 'Denotational semantics for JSD'. Together they form a unique fingerprint.

  • Cite this

    YEUNG, W. L. (1997). Denotational semantics for JSD. In Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC (pp. 72-80). IEEE Comp Soc, Los Alamitos, CA, United States. https://doi.org/10.1109/APSEC.1997.640163