Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/zum/AchatzS97,
  author       = {Klaus Achatz and
                  Wolfram Schulte},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {A Formal {OO} Method Inspired by Fusion and Object-Z},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {92--111},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027286},
  doi          = {10.1007/BFB0027286},
  timestamp    = {Thu, 14 Oct 2021 10:43:56 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/AchatzS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/BorgerM97,
  author       = {Egon B{\"{o}}rger and
                  Stefano Mazzanti},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {A Practical Method for Rigorously Controllable Hardware Design},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {151--187},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027289},
  doi          = {10.1007/BFB0027289},
  timestamp    = {Tue, 14 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/BorgerM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bowen97,
  author       = {Jonathan P. Bowen},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Select {Z} Bibliography},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {391--424},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027299},
  doi          = {10.1007/BFB0027299},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Bowen97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bowen97a,
  author       = {Jonathan P. Bowen},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Comp.specification.z and {Z} {FORUM} Frequently Asked Questions},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {425--433},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027300},
  doi          = {10.1007/BFB0027300},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Bowen97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Butler97,
  author       = {Michael J. Butler},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {An Approach to the Design of Distributed Systems with {B} {AMN}},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {223--241},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027291},
  doi          = {10.1007/BFB0027291},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Butler97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/CiancariniM97,
  author       = {Paolo Ciancarini and
                  Cecilia Mascolo},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Analyzing and Refining an Architectural Style},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {349--368},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027297},
  doi          = {10.1007/BFB0027297},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/CiancariniM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/DerrickBBS97,
  author       = {John Derrick and
                  Eerke A. Boiten and
                  Howard Bowman and
                  Maarten Steen},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Weak Refinement in {Z}},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {369--388},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027298},
  doi          = {10.1007/BFB0027298},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/DerrickBBS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Evans97,
  author       = {Andy Evans},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {An Improved Recipe for Specifying Reactive Systems in {Z}},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {275--294},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027293},
  doi          = {10.1007/BFB0027293},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Evans97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Hall97,
  author       = {Anthony Hall},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Taking {Z} Seriously},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {89--91},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027285},
  doi          = {10.1007/BFB0027285},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Hall97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/HallM97,
  author       = {Jon G. Hall and
                  Andrew P. Martin},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {\emph{W} Reconstructed},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {115--134},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027287},
  doi          = {10.1007/BFB0027287},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/HallM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Heitmeyer97,
  author       = {Constance L. Heitmeyer},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Formal Methods: {A} Panacea or Academic Poppycock?},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {3--9},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027280},
  doi          = {10.1007/BFB0027280},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Heitmeyer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/HelkeNS97,
  author       = {Steffen Helke and
                  Thomas Neustupny and
                  Thomas Santen},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Automating Test Case Generation from {Z} Specifications with Isabelle},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {52--71},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027283},
  doi          = {10.1007/BFB0027283},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/HelkeNS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/HewittOS97,
  author       = {M. A. Hewitt and
                  Colin O'Halloran and
                  Chris T. Sennett},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Experiences with PiZA, an Animator for {Z}},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027282},
  doi          = {10.1007/BFB0027282},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/HewittOS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/JackyUPRR97,
  author       = {Jonathan Jacky and
                  Jonathan Unger and
                  Michael Patrick and
                  David Reid and
                  Ruedi Risler},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Experience with {Z} Developing a Control Program for a Radiation Therapy
                  Machine},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {317--328},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027295},
  doi          = {10.1007/BFB0027295},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/JackyUPRR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/KnightB97,
  author       = {John C. Knight and
                  Susan S. Brilliant},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Preliminary Evaluation of a Formal Approach to User Interface Specification},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {329--346},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027296},
  doi          = {10.1007/BFB0027296},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/KnightB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Kraan97,
  author       = {Ina Kraan},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Using the Rippling Heuristic in Set Membership Proofs},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {135--147},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027288},
  doi          = {10.1007/BFB0027288},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Kraan97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Lano97,
  author       = {Kevin Lano},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Specifying Reactive Systems in {B} {AMN}},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {242--274},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027292},
  doi          = {10.1007/BFB0027292},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Lano97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/LanoGBK97,
  author       = {Kevin Lano and
                  Stephen J. Goldsack and
                  Juan Bicarregui and
                  Stuart Kent},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Integrating {VDM++} and Real-Time System Design},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {188--219},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027290},
  doi          = {10.1007/BFB0027290},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/LanoGBK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Saaltink97,
  author       = {Mark Saaltink},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {The {Z/EVES} System},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {72--85},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027284},
  doi          = {10.1007/BFB0027284},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Saaltink97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Stoddart97,
  author       = {Bill Stoddart},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {An Introduction to the Event Calculus},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {10--34},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027281},
  doi          = {10.1007/BFB0027281},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Stoddart97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/dInvernoH97,
  author       = {Mark d'Inverno and
                  Michael J. Hu},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {A {Z} Specification of the Soft-Link Hypertext Model},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {297--316},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027294},
  doi          = {10.1007/BFB0027294},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/dInvernoH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/zum/1997,
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027279},
  doi          = {10.1007/BFB0027279},
  isbn         = {3-540-62717-0},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.