Semantically extended dataflow diagrams: a formal specification tool
- 1 April 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (4) , 329-346
- https://doi.org/10.1109/32.129221
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- ADISSA: Architectural Design of Information Systems based on Structured AnalysisInformation Systems, 1988
- Yourdon dataflow diagrams: A tool for disciplined requirements analysisInformation and Software Technology, 1988
- Data in a concurrent environmentLecture Notes in Computer Science, 1988
- SMoLCS-driven concurrent calculiPublished by Springer Nature ,1987
- A flexible software analysis toolInformation and Software Technology, 1987
- Software development of real-time systemsCommunications of the ACM, 1986
- The transformation schema: An extension of the data flow diagram to represent control and timingIEEE Transactions on Software Engineering, 1986
- Intuition in software developmentPublished by Springer Nature ,1985
- Formalization in program developmentBIT Numerical Mathematics, 1982