By Topic

Complementing semi-formal specifications with Z

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Y. Ledru ; IMAG, Grenoble, France

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

Published in:

Knowledge-Based Software Engineering Conference, 1996., Proceedings of the 11th

Date of Conference:

25-28 Sep 1996