Automated translation of JSD into CSP--a case study in methods integration.
Saved in:
| 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 |
Be the first to leave a comment!
