View in EDS

Automated translation of JSD into CSP--a case study in methods integration.

Saved in:

Bibliographic Details
Title:	Automated translation of JSD into CSP--a case study in methods integration.
Authors:	Yeung, W. L.
Source:	Journal of Systems & Software. Dec2000, Vol. 55 Issue 2, p193. 10p. 8 Diagrams.
Subjects:	Computer software, Jackson system development method, Sequential processing (Computer science)
Abstract:	Presents a study which developed a software tool for translating the notation of the Jackson system development method into the formalism of communicating sequential processes. Forms of the integration of structured and formal methods; Evaluation and discussion; Conclusion.
Database:	Engineering Source

Description
Abstract:	Presents a study which developed a software tool for translating the notation of the Jackson system development method into the formalism of communicating sequential processes. Forms of the integration of structured and formal methods; Evaluation and discussion; Conclusion.
ISSN:	01641212
DOI:	10.1016/S0164-1212(00)00070-4