loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97)
Denotational Semantics for JSD
Clear Water Bay, HONG KONG
December 02-December 05
ISBN: 0-8186-8271-X
ASCII Text
x 
 
W. Lok Yeung, "Denotational Semantics for JSD," Asia-Pacific Software Engineering Conference, pp. 72, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.1997.640163,
author = {W. Lok Yeung},
title = {Denotational Semantics for JSD},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1997},
isbn = {0-8186-8271-X},
pages = {72},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640163},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Denotational Semantics for JSD
SN - 0-8186-8271-X
SP
EP
A1 - W. Lok Yeung,
PY - 1997
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
W. Lok Yeung, Lingnan College, Hong Kong
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.
Citation:
W. Lok Yeung, "Denotational Semantics for JSD," apsec, pp.72, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997
Usage of this product signifies your acceptance of the Terms of Use.