Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kevin Lano, Pauline Kan, Arturo Sanchez |
Compositional Specification of Controllers for Batch Process Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 250-264, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Brendan P. Mahony, Jin Song Dong |
Network Topology and a Case Study in TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 308-327, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Grimm |
Industrial Requirements for the Efficient Development of Reliable Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 1-4, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![Springer, 3-540-65070-9 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 407-415, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Nancy G. Leveson |
Designing a Requirements Specification Language for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 135, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Samuel H. Valentine |
Inconsistency and Undefinedness in Z - A Practical Guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 233-249, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bill Stoddart |
The Specification and Refinement of an Environmental Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 24-41, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Richard F. Paige |
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 214-232, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ian Toyn |
Innovations in the Notation of Standard Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 193-213, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Santen |
On the Semantic Relation of Z and HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 96-115, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, David Chippington |
Z on the Web Using Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 66-80, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog |
Combining Specification Techniques for Processes, Data and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 192, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali |
Visualizing Z Notation in HTML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 81-95, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | R. D. Arthan |
Recursive Definitions in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 154-171, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Fischer |
How to Combine Z with Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 5-23, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 116-134, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Select Z Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 367-406, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Jacky |
Analyzing a Real-Time Program with Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 136-153, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud |
Translating the OMT Dynamic Model into Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 347-366, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 42-59, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 284-307, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Henson, Steve Reeves |
A Logic for the Schema Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 172-191, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Friesen, André Nordwig, Matthias Weber 0001 |
Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 328-346, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten |
Testing Refinements by Refining Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 265-283, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ib Holm Sørensen |
Using B to Specify, Verify and Design Hardware Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 60-65, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 425-433, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 317-328, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciancarini, Cecilia Mascolo |
Analyzing and Refining an Architectural Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 349-368, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen |
Weak Refinement in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 369-388, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark Saaltink |
The Z/EVES System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 72-85, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bill Stoddart |
An Introduction to the Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 10-34, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Constance L. Heitmeyer |
Formal Methods: A Panacea or Academic Poppycock? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 3-9, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Stefano Mazzanti |
A Practical Method for Rigorously Controllable Hardware Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 151-187, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andy Evans |
An Improved Recipe for Specifying Reactive Systems in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 275-294, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jon G. Hall, Andrew P. Martin |
W Reconstructed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 115-134, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark d'Inverno, Michael J. Hu |
A Z Specification of the Soft-Link Hypertext Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 297-316, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![Springer, 3-540-62717-0 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Achatz, Wolfram Schulte |
A Formal OO Method Inspired by Fusion and Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 92-111, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Butler |
An Approach to the Design of Distributed Systems with B AMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 223-241, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | M. A. Hewitt, Colin O'Halloran, Chris T. Sennett |
Experiences with PiZA, an Animator for Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 37-51, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hall |
Taking Z Seriously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 89-91, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John C. Knight, Susan S. Brilliant |
Preliminary Evaluation of a Formal Approach to User Interface Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 329-346, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano |
Specifying Reactive Systems in B AMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 242-274, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Select Z Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 391-424, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent 0001 |
Integrating VDM++ and Real-Time System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 188-219, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Helke, Thomas Neustupny, Thomas Santen |
Automating Test Case Generation from Z Specifications with Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 52-71, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ina Kraan |
Using the Rippling Heuristic in Set Membership Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 135-147, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 237-242, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Mechanizing Formal Methods: Opportunities and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 105-113, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Bernard, Guy Laffitte |
The French Population Census for 1990. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 334-352, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Edmond |
Refining Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 25-44, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Samuel H. Valentine |
Equal Rights for Schemas in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 183-202, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Susan Stepney |
Testing as Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 137-151, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Jacky, Jonathan Unger |
From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 315-333, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeannette M. Wing |
Hints for Writing Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 497, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mark d'Inverno, Mark Priestley |
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 83-102, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciaccia, Paolo Ciancarini |
A Course on Formal Methods in Software Engineering: Matching Requirements with Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 482-496, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Colman Reilly |
Exploring Specifications with Mathematica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 408-420, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 561-569, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas |
Language-Free Mathematical Methods for Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 3-4, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![Springer, 3-540-60271-2 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Erich Mikk |
Compilation of Z Specifications into C for Automatic Test Result Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 167-180, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Gries |
Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 508-509, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Daniel M. Germán, Donald D. Cowan |
Experiments with the Z Interchange Format and SGML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 224-233, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Martin Hörcher |
Improving Software Tests Using Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 152-166, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Robert B. France, Maria M. Larrondo-Petrie |
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 434-448, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anthony MacDonald, David A. Carrington |
Structuring Z Specifications: Some Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 203-223, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Arthur P. Hughes, Alexis A. Donnelly |
An Algebraic Proof in VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 114-133, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Luck, Mark d'Inverno |
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 47-62, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ina Kraan, Peter Baumann |
Implementing Z in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 355-373, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Select Z Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 527-560, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Margaret M. West |
Types and Sets in Gödel and Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 389-407, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith |
Extending W for Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 276-295, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 63-82, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ben Strulo |
How Firing Conditions Help Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 264-275, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas |
Teaching Programming as Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 471-481, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo |
A Formal Approach to Software Design: The Clepsydra Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 5-24, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 423-433, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová |
Z Browser - A Tool for Visualization of Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 510-523, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Liskov, Jeannette M. Wing |
Specifications and Their Use in Defining Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 245-263, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Howard Bowman, John Derrick, Maarten Steen |
Viewpoints and Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 449-468, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Howard S. Goodman |
The Z-into-Haskell Tool-Kit: An Illustrative Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 374-388, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Neville Dean |
Mental Models of Z: I - Sets and Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 498-507, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bancroft, Ian J. Hayes |
A Formal Semantics for a Language with Type Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 299-314, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|