BibTeX records: Elspeth Cusack

download as .bib file

@article{DBLP:journals/oopsm/CusackB92,
  author    = {Elspeth Cusack and
               Gregor von Bochmann},
  title     = {Formal object-oriented methods in communication standards},
  journal   = {{OOPS} Messenger},
  volume    = {3},
  number    = {2},
  pages     = {7--8},
  year      = {1992},
  url       = {https://doi.org/10.1145/130943.130945},
  doi       = {10.1145/130943.130945},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/oopsm/CusackB92.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 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/CusackW92.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}
}
@incollection{DBLP:conf/zum/CusackR92,
  author    = {Elspeth Cusack and
               G.{-}H. Bagherzadeh Rafsanjani},
  editor    = {Susan Stepney and
               Rosalind Barden and
               David Cooper},
  title     = {{ZEST}},
  booktitle = {Object Orientation in {Z}},
  series    = {Workshops in Computing},
  pages     = {113--126},
  publisher = {Springer},
  year      = {1992},
  timestamp = {Wed, 22 Nov 2017 13:50:40 +0100},
  biburl    = {https://dblp.org/rec/conf/zum/CusackR92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Cusack91,
  author    = {Elspeth Cusack},
  title     = {Refinement, Conformance and Inheritance},
  journal   = {Formal Aspects Comput.},
  volume    = {3},
  number    = {2},
  pages     = {129--141},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF01898400},
  doi       = {10.1007/BF01898400},
  timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/Cusack91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Cusack91,
  author    = {Elspeth Cusack},
  editor    = {Pierre America},
  title     = {Inheritance in Object-Oriented {Z}},
  booktitle = {ECOOP'91 European Conference on Object-Oriented Programming, Geneva,
               Switzerland, July 15-19, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {512},
  pages     = {167--179},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0057021},
  doi       = {10.1007/BFb0057021},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoop/Cusack91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odp/Cusack91,
  author    = {Elspeth Cusack},
  editor    = {Jan de Meer and
               Volker Heymer and
               Rudolf Roth},
  title     = {Object Oriented Modelling in {Z} for Open Distributed Systems},
  booktitle = {Open Distributed Processing: Proceedings of the {IFIP} {TC6/WG6.4}
               International Workshop on Open Distributed Processing, Berlin, Germany,
               8-11 October 1991},
  series    = {{IFIP} Transactions},
  volume    = {{C-1}},
  pages     = {167--178},
  publisher = {North-Holland},
  year      = {1991},
  timestamp = {Thu, 03 Jan 2002 12:06:41 +0100},
  biburl    = {https://dblp.org/rec/conf/odp/Cusack91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odp/Cusack91a,
  author    = {Elspeth Cusack},
  editor    = {Jan de Meer and
               Volker Heymer and
               Rudolf Roth},
  title     = {Design Techniques and Methodologies},
  booktitle = {Open Distributed Processing: Proceedings of the {IFIP} {TC6/WG6.4}
               International Workshop on Open Distributed Processing, Berlin, Germany,
               8-11 October 1991},
  series    = {{IFIP} Transactions},
  volume    = {{C-1}},
  pages     = {433--434},
  publisher = {North-Holland},
  year      = {1991},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/odp/Cusack91a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/CusackL90,
  author    = {Elspeth Cusack and
               Michael Lai},
  editor    = {J. W. de Bakker and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Object-Oriented Specification on {LOTOS} and Z, or My Cat Really is
               Object-Oriented!},
  booktitle = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
               The Netherlands, May 28 - June 1, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {489},
  pages     = {179--202},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/BFb0019444},
  doi       = {10.1007/BFb0019444},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/rex/CusackL90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CusackRS89,
  author    = {Elspeth Cusack and
               Steve Rudkin and
               Chris Smith},
  editor    = {Son T. Vuong},
  title     = {An Object Oriented Interpretation of {LOTOS}},
  booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
               Second International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
               BC, Canada, 5-8 December, 1989},
  pages     = {211--226},
  publisher = {North-Holland},
  year      = {1989},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/conf/forte/CusackRS89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs/Cusack88,
  author    = {Elspeth Cusack},
  editor    = {Charles Rattray},
  title     = {Formal Design and Development of Ada Real-Time Embedded Systems},
  booktitle = {Specification and Verification of Concurrent Systems {[BCS-FACS} Workshop,
               6-8 July 1988, University of Stirling, Scotland, {UK]}},
  series    = {Workshops in Computing},
  pages     = {71--83},
  publisher = {Springer},
  year      = {1988},
  timestamp = {Wed, 19 Feb 2003 15:42:44 +0100},
  biburl    = {https://dblp.org/rec/conf/facs/Cusack88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics