Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kevin Lano, Pauline Kan, Arturo Sanchez |
Compositional Specification of Controllers for Batch Process Operations. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Brendan P. Mahony, Jin Song Dong |
Network Topology and a Case Study in TCOZ. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Grimm |
Industrial Requirements for the Efficient Development of Reliable Embedded Systems. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.) |
ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Nancy G. Leveson |
Designing a Requirements Specification Language for Reactive Systems. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Samuel H. Valentine |
Inconsistency and Undefinedness in Z - A Practical Guide. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bill Stoddart |
The Specification and Refinement of an Environmental Model. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Richard F. Paige |
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ian Toyn |
Innovations in the Notation of Standard Z. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Santen |
On the Semantic Relation of Z and HOL. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, David Chippington |
Z on the Web Using Java. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog |
Combining Specification Techniques for Processes, Data and Time. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali |
Visualizing Z Notation in HTML Documents. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | R. D. Arthan |
Recursive Definitions in Z. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Fischer |
How to Combine Z with Process Algebra. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lüth, Einar W. Karlsen, Kolyang 0001, Stefan Westmeier, Burkhart Wolff |
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Select Z Bibliography. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Jacky |
Analyzing a Real-Time Program with Z. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud |
Translating the OMT Dynamic Model into Object-Z. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper |
Formal Derivation of Finite State Machines for Class Testing. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Susan Stepney, David Cooper, Jim Woodcock 0001 |
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Henson, Steve Reeves |
A Logic for the Schema Calculus. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Friesen, André Nordwig, Matthias Weber 0001 |
Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten |
Testing Refinements by Refining Tests. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ib Holm Sørensen |
Using B to Specify, Verify and Design Hardware Circuits. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler |
Experience with Z Developing a Control Program for a Radiation Therapy Machine. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciancarini, Cecilia Mascolo |
Analyzing and Refining an Architectural Style. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen |
Weak Refinement in Z. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark Saaltink |
The Z/EVES System. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bill Stoddart |
An Introduction to the Event Calculus. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Constance L. Heitmeyer |
Formal Methods: A Panacea or Academic Poppycock? |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Stefano Mazzanti |
A Practical Method for Rigorously Controllable Hardware Design. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andy Evans |
An Improved Recipe for Specifying Reactive Systems in Z. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jon G. Hall, Andrew P. Martin |
W Reconstructed. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark d'Inverno, Michael J. Hu |
A Z Specification of the Soft-Link Hypertext Model. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.) |
ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Achatz, Wolfram Schulte |
A Formal OO Method Inspired by Fusion and Object-Z. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Butler |
An Approach to the Design of Distributed Systems with B AMN. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | M. A. Hewitt, Colin O'Halloran, Chris T. Sennett |
Experiences with PiZA, an Animator for Z. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hall |
Taking Z Seriously. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John C. Knight, Susan S. Brilliant |
Preliminary Evaluation of a Formal Approach to User Interface Specification. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano |
Specifying Reactive Systems in B AMN. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Select Z Bibliography. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent 0001 |
Integrating VDM++ and Real-Time System Design. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Helke, Thomas Neustupny, Thomas Santen |
Automating Test Case Generation from Z Specifications with Isabelle. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ina Kraan |
Using the Rippling Heuristic in Set Membership Proofs. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett |
The Future of Formal Methods in Industry. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Mechanizing Formal Methods: Opportunities and Challenges. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Bernard, Guy Laffitte |
The French Population Census for 1990. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Edmond |
Refining Database Systems. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Samuel H. Valentine |
Equal Rights for Schemas in Z. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Susan Stepney |
Testing as Abstraction. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Jacky, Jonathan Unger |
From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeannette M. Wing |
Hints for Writing Specifications. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mark d'Inverno, Mark Priestley |
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciaccia, Paolo Ciancarini |
A Course on Formal Methods in Software Engineering: Matching Requirements with Design. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Colman Reilly |
Exploring Specifications with Mathematica. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas |
Language-Free Mathematical Methods for Software Design. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Michael G. Hinchey (eds.) |
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Erich Mikk |
Compilation of Z Specifications into C for Automatic Test Result Evaluation. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Gries |
Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Daniel M. Germán, Donald D. Cowan |
Experiments with the Z Interchange Format and SGML. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Martin Hörcher |
Improving Software Tests Using Z Specifications. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Robert B. France, Maria M. Larrondo-Petrie |
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anthony MacDonald, David A. Carrington |
Structuring Z Specifications: Some Choices. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Arthur P. Hughes, Alexis A. Donnelly |
An Algebraic Proof in VDM. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Luck, Mark d'Inverno |
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ina Kraan, Peter Baumann |
Implementing Z in Isabelle. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Select Z Bibliography. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Margaret M. West |
Types and Sets in Gödel and Z. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith |
Extending W for Object-Z. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Patrícia D. L. Machado, Silvio Romero de Lemos Meira |
On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ben Strulo |
How Firing Conditions Help Inheritance. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas |
Teaching Programming as Engineering. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo |
A Formal Approach to Software Design: The Clepsydra Methodology. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark T. Norris, Clive Selley |
Using Z to Rigorously Review a Specification of a Network Management System. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová |
Z Browser - A Tool for Visualization of Z Specifications. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Liskov, Jeannette M. Wing |
Specifications and Their Use in Defining Subtypes. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Howard Bowman, John Derrick, Maarten Steen |
Viewpoints and Objects. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Howard S. Goodman |
The Z-into-Haskell Tool-Kit: An Illustrative Case Study. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Neville Dean |
Mental Models of Z: I - Sets and Logics. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bancroft, Ian J. Hayes |
A Formal Semantics for a Language with Type Extension. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|