Complementing semi-formal specifications with Z

The insertion of formal techniques into the daily practice of software engineering definitely improves the quality of specifications. An approach is proposed where semi-formal specifications are translated into the formal specification language Z and enriched by formal annotations. The paper starts...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 11th Knowledge-Based Software Engineering Conference pp. 52 - 61
Main Author Ledru, Y.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1996
Subjects
Access control
Data models
Formal specifications
Magnetic analysis
Telephony
Online AccessGet full text

Cover

More Information
Summary:The insertion of formal techniques into the daily practice of software engineering definitely improves the quality of specifications. An approach is proposed where semi-formal specifications are translated into the formal specification language Z and enriched by formal annotations. The paper starts from a specification of an access control system using classical description techniques: entity-relationship schemas, data-flow diagrams, and state machine descriptions. It shows how these can be combined with formal definitions of types, constraints and functions.
ISBN:0818676817
9780818676819
ISSN:1068-3062
DOI:10.1109/KBSE.1996.552823