Active Bibliography

116 Automating First-Order Relational Logic – Daniel Jackson - 2000
Alloy: A New Object Modelling Notation – Daniel Jackson
PMD '01: Precise Modelling and Deduction for Object-oriented Software Development - International Workshop at IJCAR 2001, Sienna, June 2001 – Bernhard Beckert, Robert France, Reiner Hähnle, Bart Jacobs (eds.), Bart Jacobs, Johann Schumann, Jon Whittle - 2001
Combining UML and Z in a Software Process – Ebba Thora Hvannberg
Verifying Dynamic Properties of UML – Models By Translation, Colin Snook, Colin Snook, Michael Butler, Michael Butler - 2000
5 Modular UML semantics: Interpretations in Z based on templates and generics – Nuno Amálio, Susan Stepney, Fiona Polack - 2003
1 Using UML Class Diagrams for Constructing B Specifications – Colin Snook, Michael Butler - 2000
Representing metadata constraints in Common Logic – Harry S. Delugach
7 A Model Theoretic Semantics of OCL – Peter Schmitt - 2001
Published online in Wiley InterScience (www.interscience.wiley.com). DOI: 10.1002/stvr.327 Exploiting design patterns – Brian A. Malloy, James F. Power
REDUCING THE COMPLEXITY OF MODELING AND OPTIMIZING LARGE SOFTWARE SYSTEMS – Jules White, Douglas C. Schmidt, Andrey Nechypurenko, Egon Wuchner
1 Experiments with a High-Level Navigation Language – Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin - 2009
Draft (04/07/2003) – The Syntax Semantics, Pierre Flener, Justin Pearson, Magnus Agren
Introducing esra, a Relational Language – For Modelling Combinatorial, Pierre Flener, Justin Pearson, Magnus Agren - 2004
14 A comparison of object modelling notations: Alloy, uml and z – Daniel Jackson - 1999
3 An Object Based Algebra for Parallel Query Processing and Optimization – Vijay M. Sarathy, Lawrence V. Saxton, Dirk Van Gucht - 1992
• What is Z? (??) • What does CADiZ do? (??) • Acquiring CADiZ (??) • Installing CADiZ (??) • Tutorial guides (2) • Reference manual (3) – Example Z Specifications
9 Innovations in the Notation of Standard Z – Ian Toyn - 1998
2 On Mutually Recursive Free Types in Z – I. Toyn, S. H. Valentine, D.A. Duffy - 2000