|
Browse All Reviews > Software (D) > Software Engineering (D.2) > Requirements/Specifications (D.2.1) > Z (D.2.1...)
|
|
|
|
|
|
|
|
|
1-7 of 7
Reviews about "Z (D.2.1...)":
|
Date Reviewed |
|
The Object-Z specification language Smith G., Kluwer Academic Publishers, Norwell, MA, 2000. 146 pp. Type: Book (9780792386841)
The Object-Z specification language is an extension to Z that combines object-oriented concepts with formal methods. This approach may help bridge the gap between the specification and the implementation of software systems in the cont...
|
Feb 1 2002 |
|
Structuring Z specifications with views Jackson D. ACM Transactions on Software Engineering and Methodology 4(4): 365-389, 1995. Type: Article
Schemas are a good construct for modular decomposition of Z specifications, and constitute one of the keys of Z’s success. Schemas are largely used in examples and case studies, but specifications presented in literature are ...
|
Nov 1 1996 |
|
Specifying a Safety-Critical Control System in Z Jacky J. IEEE Transactions on Software Engineering 21(2): 99-106, 1995. Type: Article
Jacky describes a formal specification, using the Z notation, for a safety-critical control system designed for a medical device. The specification is a formal model for the main features of a family of applications, called a framework...
|
May 1 1996 |
|
Multi-relations in Z Hayes I. Acta Informatica 29(1): 33-62, 1992. Type: Article
In manufacturing, a product is made of assemblies and assemblies are made of components. The author presents a mathematical theory for an abstraction of this manufacturing situation. The theory contemplates more complexity by permittin...
|
Aug 1 1993 |
|
The Z notation Spivey J., Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992. Type: Book (9780139785290)
The Z notation (pronounced “Zed”) is used in the formal specification of information systems. This book is a reference manual for Z....
|
Jul 1 1993 |
|
The Z notation: a reference manual Spivey J., Prentice-Hall, Inc., Upper Saddle River, NJ, 1989. Type: Book (9789780139837685)
The Z notation is a language as well as a style for specifying and designing software. Z has gone through a long period of development and seems to have reached the stage at which a standard set of notations can be fixed. Taking a step...
|
Nov 1 1989 |
|
Understanding Z: a specification language and its formal semantics Spivey J., Cambridge University Press, New York, NY, 1988. Type: Book (9789780521334297)
This book is about the mathematical background of the specification language Z. More than a language, Z is a style of mathematical specification based on a typed set theory. It provides structuring notations for building up large speci...
|
Mar 1 1989 |
|
|
|
|
|
|