Denotational semantics for JSD


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

1 Citation (Scopus)


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
Number of pages9
ISBN (Print)081868271X
Publication statusPublished - 1 Jan 1997


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

Cite this