DocumentCode
2812665
Title
Denotational semantics for JSD
Author
Yeung, W. Lok
Author_Institution
Dept. of Comput. Studies, Lingnan Coll., Hong Kong
fYear
1997
fDate
2-5 Dec 1997
Firstpage
72
Lastpage
80
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
Keywords
communicating sequential processes; lambda calculus; programming theory; software engineering; CSP; JSD; Jackson System Development; communicating sequential processes; denotational semantics; formal semantics; lambda calculus; structured methods; Calculus; Computer languages; Concurrent computing; Design methodology; Educational institutions; Embedded system; Specification languages; System analysis and design; System recovery; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
Print_ISBN
0-8186-8271-X
Type
conf
DOI
10.1109/APSEC.1997.640163
Filename
640163
Link To Document