Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Abstract data types and software validation
Communications of the ACM
Application of the Entity-Relationship Approach to Information Processing Systems Modelling
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
A database model for effective configuration management in the programming environment
ICSE '81 Proceedings of the 5th international conference on Software engineering
Structured Analysis and System Specification
Structured Analysis and System Specification
ICSE '85 Proceedings of the 8th international conference on Software engineering
| Hi-index | 0.00 |
The goal of this paper was to model a specification language and its analyser using axiomatic methods derived from those applied previously to abstract data type and state transition specifications. The models attempt to cover many interesting features of PSL/PSA, a widely used specification language and analyser for information systems. Simple properties expected to hold for actual PSL/PSA were formalized and proved about some models, with assumptions about undefined parts. Both model formulation and property proofs were performed within the AFFIRM Specification and Verification System. The results show (1) the applicability of axiomatic methods for modeling a new kind of software system, (2) insights into the PSL/PSA class of specification system, (3) a possible route for formal definition of such analysers, and (4) additional lessons on the art of specification, modeling, verification, and validation.