Title

Denotational semantics for JSD

Document Type

Conference paper

Source Publication

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Publication Date

1-1-1997

First Page

72

Last Page

80

Publisher

IEEE Comp Soc, Los Alamitos, CA, United States

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.

DOI

10.1109/APSEC.1997.640163

Publisher Statement

Access to external full text or publisher's version may require subscription.

Additional Information

ISBN of the source publication: 081868271X

Full-text Version

Publisher’s Version

Share

COinS