Search dblp for Publications

export results for "toc:db/conf/zum/zum1995.bht:"

 download as .bib file

@inproceedings{DBLP:conf/zum/BancroftH95,
  author       = {Peter Bancroft and
                  Ian J. Hayes},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {A Formal Semantics for a Language with Type Extension},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {299--314},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_127},
  doi          = {10.1007/3-540-60271-2\_127},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/BancroftH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/BernardL95,
  author       = {Pascal Bernard and
                  Guy Laffitte},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {The French Population Census for 1990},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {334--352},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_129},
  doi          = {10.1007/3-540-60271-2\_129},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/BernardL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bowen95,
  author       = {Jonathan P. Bowen},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Select {Z} Bibliography},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {527--560},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_143},
  doi          = {10.1007/3-540-60271-2\_143},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Bowen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bowen95a,
  author       = {Jonathan P. Bowen},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Comp.specification.z and {Z} {FORUM} Frequently Asked Questions},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {561--569},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_144},
  doi          = {10.1007/3-540-60271-2\_144},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Bowen95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/BowmanDS95,
  author       = {Howard Bowman and
                  John Derrick and
                  Maarten Steen},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Viewpoints and Objects},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {449--468},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_136},
  doi          = {10.1007/3-540-60271-2\_136},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/BowmanDS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/BryantESMSNS95,
  author       = {Tony Bryant and
                  Andy Evans and
                  Lesley Semmens and
                  Rajko Milovanovic and
                  Sinclair Guillaume Stockman and
                  Mark T. Norris and
                  Clive Selley},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Using {Z} to Rigorously Review a Specification of a Network Management
                  System},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {423--433},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_134},
  doi          = {10.1007/3-540-60271-2\_134},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/BryantESMSNS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/CiacciaC95,
  author       = {Paolo Ciaccia and
                  Paolo Ciancarini},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {A Course on Formal Methods in Software Engineering: Matching Requirements
                  with Design},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {482--496},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_138},
  doi          = {10.1007/3-540-60271-2\_138},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/CiacciaC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/CiacciaCP95,
  author       = {Paolo Ciaccia and
                  Paolo Ciancarini and
                  Wilma Penzo},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {A Formal Approach to Software Design: The Clepsydra Methodology},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {5--24},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_110},
  doi          = {10.1007/3-540-60271-2\_110},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/CiacciaCP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Dean95,
  author       = {Neville Dean},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Mental Models of {Z:} {I} - Sets and Logics},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {498--507},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_140},
  doi          = {10.1007/3-540-60271-2\_140},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Dean95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Edmond95,
  author       = {David Edmond},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Refining Database Systems},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {25--44},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_111},
  doi          = {10.1007/3-540-60271-2\_111},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Edmond95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/FranceL95,
  author       = {Robert B. France and
                  Maria M. Larrondo{-}Petrie},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {A Two-Dimensional View of Integrated Formal and Informal Specification
                  Techniques},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {434--448},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_135},
  doi          = {10.1007/3-540-60271-2\_135},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/FranceL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/GermanC95,
  author       = {Daniel M. Germ{\'{a}}n and
                  Donald D. Cowan},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Experiments with the {Z} Interchange Format and {SGML}},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {224--233},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_122},
  doi          = {10.1007/3-540-60271-2\_122},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/GermanC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Goodman95,
  author       = {Howard S. Goodman},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {The Z-into-Haskell Tool-Kit: An Illustrative Case Study},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {374--388},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_131},
  doi          = {10.1007/3-540-60271-2\_131},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Goodman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Gries95,
  author       = {David Gries},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Equational Logic: {A} Great Pedagogical Tool for Teaching a Skill
                  in Logic},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {508--509},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_141},
  doi          = {10.1007/3-540-60271-2\_141},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Gries95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/HallPPRS95,
  author       = {Anthony Hall and
                  David Lorge Parnas and
                  Nico Plat and
                  John M. Rushby and
                  Chris T. Sennett},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {The Future of Formal Methods in Industry},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {237--242},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_123},
  doi          = {10.1007/3-540-60271-2\_123},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/HallPPRS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Horcher95,
  author       = {Hans{-}Martin H{\"{o}}rcher},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Improving Software Tests Using {Z} Specifications},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_118},
  doi          = {10.1007/3-540-60271-2\_118},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Horcher95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/HughesD95,
  author       = {Arthur P. Hughes and
                  Alexis A. Donnelly},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {An Algebraic Proof in {VDM}},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {114--133},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_116},
  doi          = {10.1007/3-540-60271-2\_116},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/HughesD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/JackyU95,
  author       = {Jonathan Jacky and
                  Jonathan Unger},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {From {Z} to Code: {A} Graphical User Interface for a Radiostation
                  Therapy Machine},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {315--333},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_128},
  doi          = {10.1007/3-540-60271-2\_128},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/JackyU95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/KraanB95,
  author       = {Ina Kraan and
                  Peter Baumann},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Implementing {Z} in Isabelle},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {355--373},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_130},
  doi          = {10.1007/3-540-60271-2\_130},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/KraanB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/LiskovW95,
  author       = {Barbara Liskov and
                  Jeannette M. Wing},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Specifications and Their Use in Defining Subtypes},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {245--263},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_124},
  doi          = {10.1007/3-540-60271-2\_124},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/LiskovW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Luckd95,
  author       = {Michael Luck and
                  Mark d'Inverno},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Structuring a {Z} Specification to Provide a Formal Framework for
                  Autonomous Agent Systems},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {47--62},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_112},
  doi          = {10.1007/3-540-60271-2\_112},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Luckd95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/MacDonaldC95,
  author       = {Anthony MacDonald and
                  David A. Carrington},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Structuring {Z} Specifications: Some Choices},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {203--223},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_121},
  doi          = {10.1007/3-540-60271-2\_121},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/MacDonaldC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/MachadoM95,
  author       = {Patr{\'{\i}}cia D. L. Machado and
                  Silvio Romero de Lemos Meira},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {On the Use of Formal Specifications in the Design and Simulation of
                  Artificial Neural Networks},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {63--82},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_113},
  doi          = {10.1007/3-540-60271-2\_113},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/MachadoM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Mikk95,
  author       = {Erich Mikk},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Compilation of {Z} Specifications into {C} for Automatic Test Result
                  Evaluation},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {167--180},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_119},
  doi          = {10.1007/3-540-60271-2\_119},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Mikk95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/MikusiakVHH95,
  author       = {Lubos Mikusiak and
                  Vladimir Vojtek and
                  Jozef Hasaralejko and
                  Jana Hanzelov{\'{a}}},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Z Browser - {A} Tool for Visualization of {Z} Specifications},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {510--523},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_142},
  doi          = {10.1007/3-540-60271-2\_142},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/MikusiakVHH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Parnas95,
  author       = {David Lorge Parnas},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Language-Free Mathematical Methods for Software Design},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {3--4},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_109},
  doi          = {10.1007/3-540-60271-2\_109},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Parnas95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Parnas95a,
  author       = {David Lorge Parnas},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Teaching Programming as Engineering},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {471--481},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_137},
  doi          = {10.1007/3-540-60271-2\_137},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Parnas95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Reilly95,
  author       = {Colman Reilly},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Exploring Specifications with Mathematica},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {408--420},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_133},
  doi          = {10.1007/3-540-60271-2\_133},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Reilly95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Rushby95,
  author       = {John M. Rushby},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Mechanizing Formal Methods: Opportunities and Challenges},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {105--113},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_115},
  doi          = {10.1007/3-540-60271-2\_115},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Rushby95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Smith95,
  author       = {Graeme Smith},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Extending \emph{W} for Object-Z},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {276--295},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_126},
  doi          = {10.1007/3-540-60271-2\_126},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Smith95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Stepney95,
  author       = {Susan Stepney},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Testing as Abstraction},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_117},
  doi          = {10.1007/3-540-60271-2\_117},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Stepney95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Strulo95,
  author       = {Ben Strulo},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {How Firing Conditions Help Inheritance},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {264--275},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_125},
  doi          = {10.1007/3-540-60271-2\_125},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Strulo95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Valentine95,
  author       = {Samuel H. Valentine},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Equal Rights for Schemas in {Z}},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {183--202},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_120},
  doi          = {10.1007/3-540-60271-2\_120},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Valentine95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/West95,
  author       = {Margaret M. West},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Types and Sets in G{\"{o}}del and {Z}},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {389--407},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_132},
  doi          = {10.1007/3-540-60271-2\_132},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/West95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Wing95,
  author       = {Jeannette M. Wing},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Hints for Writing Specifications},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {497},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_139},
  doi          = {10.1007/3-540-60271-2\_139},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Wing95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/dInvernoP95,
  author       = {Mark d'Inverno and
                  Mark Priestley},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {Structuring Specification in {Z} to Build a Unifying Framework for
                  Hypertext Systems},
  booktitle    = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  pages        = {83--102},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2\_114},
  doi          = {10.1007/3-540-60271-2\_114},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/dInvernoP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/zum/1995,
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  title        = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
                  Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {967},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60271-2},
  doi          = {10.1007/3-540-60271-2},
  isbn         = {3-540-60271-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.