DocumentCode
304114
Title
Complementing semi-formal specifications with Z
Author
Ledru, Yves
Author_Institution
IMAG, Grenoble, France
fYear
1996
fDate
25-28 Sep 1996
Firstpage
52
Lastpage
61
Abstract
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
Keywords
formal specification; software engineering; specification languages; access control system; data-flow diagrams; formal annotations; formal specification; semi-formal specifications; software engineering; specification language Z; state machine descriptions; Access control; Data models; Databases; Formal specifications; Magnetic analysis; Telephony;
fLanguage
English
Publisher
ieee
Conference_Titel
Knowledge-Based Software Engineering Conference, 1996., Proceedings of the 11th
Conference_Location
Syracuse, NY
ISSN
1068-3062
Print_ISBN
0-8186-7681-7
Type
conf
DOI
10.1109/KBSE.1996.552823
Filename
552823
Link To Document