Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Requirements/Specifications (D.2.1) > Z (D.2.1...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 17 Reviews about "Z (D.2.1...)": Date Reviewed   Computable models Turner R.,  Springer Publishing Company, Incorporated, London, UK, 2009. 240 pp. Type: Book (9781848820517), Reviews: (2 of 2) Today’s scientific world has become strongly invested in the generic concept of computational science, that is, constructing computational models and numerical solution techniques that would allow computers to analyze and solve scientific,... Nov 2 2009   Computable models Turner R.,  Springer Publishing Company, Incorporated, London, UK, 2009. 240 pp. Type: Book (9781848820517), Reviews: (1 of 2) The title of this book is a misnomer; it suggests a work in recursion theory. In fact, this monograph shows how the Z and Vienna development method (VDM) specification languages, which are based on set theory, can have computable models. Turner... Oct 16 2009   A case study involving the use of Z to aid requirements specification in the software engineering course Hasson P., Cooper S.  Software engineering education and training (Proceedings of the 17th Conference on Software Engineering Education and Training (CSEET’04), Mar 1-3, 2004) 84-90, 2004. Type: Proceedings, Reviews: (2 of 2) A software engineering course’s success depends on good specifications for program requirements, and the authors examine whether using Z notation would produce better specifications, as the basis for success of the overall project.... Aug 10 2005   A case study involving the use of Z to aid requirements specification in the software engineering course Hasson P., Cooper S.  Software engineering education and training (Proceedings of the 17th Conference on Software Engineering Education and Training (CSEET’04), Mar 1-3, 2004) 84-90, 2004. Type: Proceedings, Reviews: (1 of 2) Hasson and Cooper present a case study of three different types of student projects in which the Z language is used to write the requirements specification. The three projects are an online store, a scheduler, and an email client. The purpose of... Aug 3 2005   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 context... 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 usually... Nov 1 1996   Formalizing style to understand descriptions of software architecture Abowd G., Allen R., Garlan D.  ACM Transactions on Software Engineering and Methodology 4(4): 319-364, 1995. Type: Article Software architecture is an important part of software systems. In this context, the systems are treated as collections of components communicating with each other in different ways and by means of some connections. The architectural descriptions ... Oct 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. In order... May 1 1996   An introduction to discrete mathematics, formal system specification, and Z Ince D. (ed),  Oxford University Press, Inc., New York, NY, 1993.Type: Book (9780198538363) The fact that this book now appears in its second edition attests to the popularity of both the subject matter and the author’s way of dealing with it. The author has two aims: to introduce logic, sets, relations, and functions (the first... Aug 1 1995   Information modeling Edmond D.,  Prentice-Hall, Inc., Upper Saddle River, NJ, 1992.Type: Book (9780134577487) At first this book gave me the impression that SQL had somehow become integrated with the formal specification notation Z (work on casting entity-relationship modeling and other aspects of systems analysis into Z has already appeared in software... Jan 1 1995       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2013 ThinkLoud, Inc. Terms of Use | Privacy Policy