Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/zum/1992,
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2},
  doi          = {10.1007/978-1-4471-3556-2},
  isbn         = {3-540-19818-0},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/BardenS92,
  author       = {Rosalind Barden and
                  Susan Stepney},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Support for Using {Z}},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {255--280},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_17},
  doi          = {10.1007/978-1-4471-3556-2\_17},
  timestamp    = {Thu, 14 Oct 2021 10:43:56 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/BardenS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bowen92,
  author       = {Jonathan P. Bowen},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Select {Z} Bibliography},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {309--341},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Bowen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bowen92a,
  author       = {Jonathan P. Bowen},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Comp.specification.z and {Z} {FORUM} Frequently Asked Questions},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {342--347},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Bowen92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bradley92,
  author       = {Andrew Bradley},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Reqirements for Defence Standard 00-55},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {93--94},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_6},
  doi          = {10.1007/978-1-4471-3556-2\_6},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Bradley92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/CoombesM92,
  author       = {Andrew Charles Coombes and
                  John A. McDermid},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Using Diagrams to Give a Formal Specification of Timing Constraints
                  in {Z}},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {119--130},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_9},
  doi          = {10.1007/978-1-4471-3556-2\_9},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/CoombesM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/CraigenGR92,
  author       = {Dan Craigen and
                  Susan L. Gerhart and
                  Ted Ralston},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {An International Survey of Industrial Applications of Formal Methods},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {1--5},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_1},
  doi          = {10.1007/978-1-4471-3556-2\_1},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/CraigenGR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Cusack92,
  author       = {Elspeth Cusack},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Using {Z} in Communications Engineering},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {196--202},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_14},
  doi          = {10.1007/978-1-4471-3556-2\_14},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Cusack92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/CusackW92,
  author       = {Elspeth Cusack and
                  Clazien D. Wezeman},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Deriving Tests for Objects Specified in {Z}},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {180--195},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_13},
  doi          = {10.1007/978-1-4471-3556-2\_13},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/CusackW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Draper92,
  author       = {Christine Draper},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Practical Experiences of {Z} and {SSADM}},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {240--251},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_16},
  doi          = {10.1007/978-1-4471-3556-2\_16},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Draper92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/HayesW92,
  author       = {Ian J. Hayes and
                  Luke Wildman},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Towards Libraries for {Z}},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_3},
  doi          = {10.1007/978-1-4471-3556-2\_3},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/HayesW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Jacky92,
  author       = {Jonathan Jacky},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Formal Specification and Development of Control System Input/Output},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {95--108},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_7},
  doi          = {10.1007/978-1-4471-3556-2\_7},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Jacky92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/KnightK92,
  author       = {John C. Knight and
                  Darrell M. Kienzle},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Preliminary Experience Using {Z} to Specify a Safety-Critical System},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {109--118},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_8},
  doi          = {10.1007/978-1-4471-3556-2\_8},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/KnightK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/LanoH92,
  author       = {Kevin Lano and
                  Howard P. Haughton},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Reuse and Adaptation of {Z} Specifications},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {62--90},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_5},
  doi          = {10.1007/978-1-4471-3556-2\_5},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/LanoH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Love92,
  author       = {Matthew Love},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Animating {Z} Specifications in SQL*Forms 3.0},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {294--306},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_19},
  doi          = {10.1007/978-1-4471-3556-2\_19},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Love92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/MaungH92,
  author       = {Ian Maung and
                  John Howse},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Introducing Hyper-Z - {A} New Approach to Object Orientation in {Z}},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {149--165},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_11},
  doi          = {10.1007/978-1-4471-3556-2\_11},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/MaungH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Nicholls92,
  author       = {John E. Nicholls},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Plain Guide to the {Z} Base Standard},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {52--61},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_4},
  doi          = {10.1007/978-1-4471-3556-2\_4},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Nicholls92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Normington92,
  author       = {Glyn Normington},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Cleanroom and {Z}},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {281--293},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_18},
  doi          = {10.1007/978-1-4471-3556-2\_18},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Normington92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/RafsanjaniC92,
  author       = {G.{-}H. Bagherzadeh Rafsanjani and
                  S. J. Colwill},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {From Object-Z to {C++:} {A} Structural Mapping},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {166--179},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_12},
  doi          = {10.1007/978-1-4471-3556-2\_12},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/RafsanjaniC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Ruddle92,
  author       = {Alastair R. Ruddle},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Formal Methods in the Specification of Real-Time, Safety-Critical
                  Control Systems},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {131--146},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_10},
  doi          = {10.1007/978-1-4471-3556-2\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Ruddle92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Swatman92,
  author       = {Paul A. Swatman},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Using Formal Specification in the Acquisition of Information Systems:
                  Educating Information Systems Professionals},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {205--239},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_15},
  doi          = {10.1007/978-1-4471-3556-2\_15},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Swatman92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Valentine92,
  author       = {Samuel H. Valentine},
  editor       = {Jonathan P. Bowen and
                  John E. Nicholls},
  title        = {Putting Numbers into the Mathematical Toolkit},
  booktitle    = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series       = {Workshops in Computing},
  pages        = {9--36},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3556-2\_2},
  doi          = {10.1007/978-1-4471-3556-2\_2},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Valentine92.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.