The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Strategies for real-time system specification
Strategies for real-time system specification
Communications of the ACM
Modeling and Analysis of the Behavior of Information Systems
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Modern structured analysis
PROSPER: a language for specification by prototyping
Computer Languages
Please: executable specifications for incremental software development
Journal of Systems and Software
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Process interface modeling and consistency checking
Journal of Systems and Software
Deliberations on Kung's process interface modeling
Journal of Systems and Software
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Formalized structured analysis specifications
Formalized structured analysis specifications
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
From VDM specifications to functional prototypes
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Abstract data types and the development of data structures
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Elements of Systems Analysis
An Algebra for Data Flow Diagram Process Decomposition
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Structured Analysis and System Specification
Structured Analysis and System Specification
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Hi-index | 0.00 |
Structured Analysis (SA) is a widely‐used software development method. SA specifications are based on Data Flow Diagrams (DFD’s), Data Dictionaries (DD’s) and Process Specifications (P‐Specs). As used in practice, SA specifications are not formal. Seemingly orthogonal approaches to specifications are those using formal, object‐based, abstract model specification languages, e.g., VDM, Z, Larch/C++ and SPECS. These languages support object‐based software development in that they are designed to specify abstract data types (ADT’s). We suggest formalizing SA specifications by: (i) formally specifying flow value types as ADT’s in DD’s, (ii) formally specifying P‐Specs using both the assertional style of the aforementioned specification languages and ADT operations defined in DD’s, and (iii) adopting a formal semantics for DFD “execution steps”. The resulting formalized SA specifications, DFD‐SPECS, are well‐suited to the specification of distributed or concurrent systems. We provide an example DFD‐SPEC for a client‐server system with a replicated server. When synthesized with our recent results in the direct execution of formal, model‐based specifications, DFD‐SPECS will also support the direct execution of specifications of concurrent or distributed systems.