Handbook of software engineering
Handbook of software engineering
Software development of real-time systems
Communications of the ACM
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Thoughts on the software process
ACM SIGSOFT Software Engineering Notes
Relational specifications and observational semantics
Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
SMoLCS-driven concurrent calculi
The International Joint Conference on theory and practice of software development on TAPSOFT '87
A flexible software analysis tool
Information and Software Technology
Strategies for real-time system specification
Strategies for real-time system specification
ADISSA: architectural design of information systems based on structures analysis
Information Systems
Data in a concurrent environment
International Conference on Concurrency on Concurrency 88
Yourdon dataflow diagrams: a tool for disciplined requirements analysis
Information and Software Technology
Advanced structured analysis and design
Advanced structured analysis and design
Theoretical Foundations of Programming Methodology
Theoretical Foundations of Programming Methodology
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Structured Analysis and System Specification
Structured Analysis and System Specification
RE-Analyzer: from source code to structured analysis
IBM Systems Journal
Strategies for incorporating formal specifications in software development
Communications of the ACM
Applying specialization to process models
COCS '95 Proceedings of conference on Organizational computing systems
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
An agent-oriented modeling approach
ACM SIGSOFT Software Engineering Notes
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Modeling station duty officer operations assistant at Johnson space center
Advances in Engineering Software
Integrating Formal and Informal Specification Techniques. Why? How?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
IEEE Transactions on Software Engineering
A predicative basis for structured analysis specification tools
Information and Software Technology
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.02 |
A method for associating a dataflow diagram (DFD) with a formal specification is described. The intention is to enhance the use of the DFD as a formal specification tool, thus gaining a tool that can be used to document application functionality in an understandable manner and, at the same time, be capable of producing a formal specification that can be used to rigorously investigate the semantic properties of the application. It is shown how the formal specifications characterizing semantic models ofDFDs can be used to investigate desired application properties of verify semantic decompositions of data transforms.