A predicative basis for structured analysis specification tools

Authors:
RB France
Affiliations:
-
Venue:
Information and Software Technology
Year:
1993

Citing 6
Cited 0

Informal and Formal Requirements Specification Languages: Bridging the Gap

IEEE Transactions on Software Engineering
Semantically Extended Dataflow Diagrams: A Formal Specification Tool

IEEE Transactions on Software Engineering
A practical assessment of formal specification approaches for data abstractions

Journal of Systems and Software
Using Yourdon and Z: an Approach to Formal Specification

Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
A Case for Structured Analysis/Formal Design

VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
The Larch Family of Specification Languages

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

A specification framework for supplementing Structured Analysis (SA) process and data specification tools with predicative specifications is described. The framework includes composition operators, which a specifier can use to build specifications of large structures from specifications of their substructures, and is supported by consistency notions which support internal consistency checks and semantic decomposition of process models.