On the specification of real-time systems using logic programming
Proc. of the 1st European Software Engineering Conference on ESEC '87
Parallel program design: a foundation
Parallel program design: a foundation
Specifications are not (necessarily) executable
Software Engineering Journal
The Z notation: a reference manual
The Z notation: a reference manual
Selected papers of the Second Workshop on Concurrency and compositionality
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Specifications are (preferably) executable
Software Engineering Journal
Z in practice
IEEE Transactions on Software Engineering - Special issue on software architecture
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Specification Case Studies
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Parallel Logic Programming Using the Linda Model of Computation
Research Directions in High-Level Parallel Programming Languages
Efficient Search as a Means of Executing Specifications
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Framework for the Specification of Reactive and Concurrent Systems in Z
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Proceedings of the Z User Workshop
Combining the Design of Industrial Systems with Effective Verification Techniques
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Specifying & Verifying Concurrent Systems Using Z
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Abstract Model Checking of Infinite Specifications
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
EZ: A System for Automatic Prototyping of Z Specifications
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Some Chemical Abstract Machines
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Rule-based coordination of logic programs
Computer Languages
Hi-index | 0.00 |
Z is a declarative, non‐executable specification language; its diffusion in the field of requirements engineering outside academia is slow but growing. In this paper we focus on some methods for analyzing and testing Z specification documents, with special emphasis on non‐sequential systems specifications. We describe two techniques we have adopted: the former allows the specifier to add to the requirements document a number of properties that then can be checked using a formal semantics; the latter makes it possible to build directly from the requirements specification document a distributed prototype which can be executed and tested over a network of workstations.