An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Formal Methods in Context: Security and Java Card
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Hi-index | 0.00 |
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 in terms of classical description techniques: entity-relationship schemas, data-flow diagrams, and state machine descriptions. It shows how these descriptions can be combined with formal definitions of types, constraints and functions.