The increasing importance of formal methods
The Computer Bulletin
The Z notation: a reference manual
The Z notation: a reference manual
Introductory logic and formal methods
Introductory logic and formal methods
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
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Structured Analysis - A Draft Method for Writing Z Specifications
Proceedings of the Z User Workshop
Practical Experiences of Z and SSADM
Proceedings of the Z User Workshop
Methods integration: time for reflection (and reorientation?)
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |
Whilst formal methods can make valuable contributions to system specification, structured methodologies are seen as more appropriate for commercial systems development, particularly user involvement. This paper investigates the applicability of Z to MERISE, the French structured methodology, recommending the adoption of a formal link between the two, an integration procedure proposed by Semmens et al. We apply our previous classification of approaches to user-centred design; participative structures, processes, and scope which need to be addressed by a variety of methods, techniques and tools. We seek to show how combination with structured methods can improve the accessibility of formal methods, processes can be enhanced, enabling better communication through participative structures.. These ideas are illustrated by means of a simple, albeit real-life example in which a Z specification is developed through the translation of MERISE conceptual data and process models.