BibTeX records: David A. Carrington

download as .bib file

@article{DBLP:journals/fac/KimC09,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {A formalism to describe design patterns based on role concepts},
  journal      = {Formal Aspects Comput.},
  volume       = {21},
  number       = {5},
  pages        = {397--420},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00165-008-0090-7},
  doi          = {10.1007/S00165-008-0090-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/KimC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MahrinSC09,
  author       = {Mohd Naz'ri Mahrin and
                  Paul A. Strooper and
                  David A. Carrington},
  editor       = {Shahida Sulaiman and
                  Noor Maizura Mohamad Noor},
  title        = {Selecting Usability Evaluation Methods for Software Process Descriptions},
  booktitle    = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3
                  December 2009, Batu Ferringhi, Penang, Malaysia},
  pages        = {523--529},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/APSEC.2009.33},
  doi          = {10.1109/APSEC.2009.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/MahrinSC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/WangKC08,
  author       = {Junhua Wang and
                  Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {Automatic Generation of Test Models for Model Transformations},
  booktitle    = {19th Australian Software Engineering Conference {(ASWEC} 2008), March
                  25-28, 2008, Perth, Australia},
  pages        = {432--440},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ASWEC.2008.42},
  doi          = {10.1109/ASWEC.2008.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/WangKC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/ChevillatCSSW08,
  author       = {C{\'{e}}dric Chevillat and
                  David A. Carrington and
                  Paul A. Strooper and
                  J{\"{o}}rn Guy S{\"{u}}{\ss} and
                  Luke Wildman},
  editor       = {Ina Schieferdecker and
                  Alan Hartman},
  title        = {Model-Based Generation of Interlocking Controller Software from Control
                  Tables},
  booktitle    = {Model Driven Architecture - Foundations and Applications, 4th European
                  Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5095},
  pages        = {349--360},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69100-6\_24},
  doi          = {10.1007/978-3-540-69100-6\_24},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ecmdafa/ChevillatCSSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/MahrinCS08,
  author       = {Mohd Naz'ri Mahrin and
                  David A. Carrington and
                  Paul A. Strooper},
  editor       = {Qing Wang and
                  Dietmar Pfahl and
                  David M. Raffo},
  title        = {Investigating Factors Affecting the Usability of Software Process
                  Descriptions},
  booktitle    = {Making Globally Distributed Software Development a Success Story,
                  International Conference on Software Process, {ICSP} 2008, Leipzig,
                  Germany, May 10-11, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5007},
  pages        = {222--233},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79588-9\_20},
  doi          = {10.1007/978-3-540-79588-9\_20},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/MahrinCS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/ShuklaSC07,
  author       = {Rakesh Shukla and
                  Paul A. Strooper and
                  David A. Carrington},
  title        = {A Framework for Statistical Testing of Software Components},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {17},
  number       = {3},
  pages        = {379--405},
  year         = {2007},
  url          = {https://doi.org/10.1142/S021819400700329X},
  doi          = {10.1142/S021819400700329X},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/ShuklaSC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/LongFC07,
  author       = {Benjamin W. Long and
                  Colin J. Fidge and
                  David A. Carrington},
  editor       = {Gillian Dobbie},
  title        = {Cross-Layer Verification of Type Flaw Attacks on Security Protocols},
  booktitle    = {Computer Science 2007. Proceedings of the Thirtieth Australasian Computer
                  Science Conference {(ACSC2007).} Ballarat, Victoria, Australia, January
                  30 - February 2, 2007. Proceedings},
  series       = {{CRPIT}},
  volume       = {62},
  pages        = {171--180},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV62Long.html},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/LongFC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/MealyCSW07,
  author       = {Erica Mealy and
                  David A. Carrington and
                  Paul A. Strooper and
                  Peta Wyeth},
  title        = {Improving Usability of Software Refactoring Tools},
  booktitle    = {18th Australian Software Engineering Conference {(ASWEC} 2007), April
                  10-13, 2007, Melbourne, Australia},
  pages        = {307--318},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ASWEC.2007.24},
  doi          = {10.1109/ASWEC.2007.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/MealyCSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KimC06,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {A Pattern based Model Evolution Approach},
  booktitle    = {13th Asia-Pacific Software Engineering Conference {(APSEC} 2006),
                  6-8 December 2006, Bangalore, India},
  pages        = {217--224},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/APSEC.2006.8},
  doi          = {10.1109/APSEC.2006.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/KimC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/WangKC06,
  author       = {Junhua Wang and
                  Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {Verifying Metamodel Coverage of Model Transformations},
  booktitle    = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
                  April 2006, Sydney, Australia},
  pages        = {270--282},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ASWEC.2006.55},
  doi          = {10.1109/ASWEC.2006.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/WangKC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurospi/CahillCSS06,
  author       = {Brent Cahill and
                  David A. Carrington and
                  Brian Song and
                  Paul A. Strooper},
  editor       = {Ita Richardson and
                  Per Runeson and
                  Richard Messnarz},
  title        = {An Industry-Based Evaluation of Process Modeling Techniques},
  booktitle    = {Software Process Improvement, 13th European Conference, EuroSPI 2006,
                  Joensuu, Finland, October 11-13, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4257},
  pages        = {111--122},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11908562\_11},
  doi          = {10.1007/11908562\_11},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/eurospi/CahillCSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KimC06,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  editor       = {Zhiming Liu and
                  Jifeng He},
  title        = {A Tool for a Formal Pattern Modeling Language},
  booktitle    = {Formal Methods and Software Engineering, 8th International Conference
                  on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
                  1-3, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4260},
  pages        = {568--587},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11901433\_31},
  doi          = {10.1007/11901433\_31},
  timestamp    = {Mon, 21 Mar 2022 22:43:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/KimC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CarringtonSNS05,
  author       = {David A. Carrington and
                  Paul A. Strooper and
                  Sharron Newby and
                  Terry Stevenson},
  title        = {An industry/university collaboration to upgrade software engineering
                  knowledge and skills in industry},
  journal      = {J. Syst. Softw.},
  volume       = {75},
  number       = {1-2},
  pages        = {29--39},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jss.2004.02.020},
  doi          = {10.1016/J.JSS.2004.02.020},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/CarringtonSNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShuklaCS05,
  author       = {Rakesh Shukla and
                  David A. Carrington and
                  Paul A. Strooper},
  title        = {A Passive Test Oracle Using a Component's {API}},
  booktitle    = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
                  15-17 December 2005, Taipei, Taiwan},
  pages        = {561--567},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/APSEC.2005.13},
  doi          = {10.1109/APSEC.2005.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/ShuklaCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShuklaSC05,
  author       = {Rakesh Shukla and
                  Paul A. Strooper and
                  David A. Carrington},
  title        = {Tool Support for Statistical Testing of Software Components},
  booktitle    = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
                  15-17 December 2005, Taipei, Taiwan},
  pages        = {719--728},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/APSEC.2005.105},
  doi          = {10.1109/APSEC.2005.105},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/ShuklaSC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KimBC05,
  author       = {Soon{-}Kyeong Kim and
                  Damian Burger and
                  David A. Carrington},
  editor       = {John S. Fitzgerald and
                  Ian J. Hayes and
                  Andrzej Tarlecki},
  title        = {An {MDA} Approach Towards Integrating Formal and Informal Modeling
                  Languages},
  booktitle    = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
                  Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3582},
  pages        = {448--464},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11526841\_30},
  doi          = {10.1007/11526841\_30},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/KimBC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/KimC05,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  editor       = {Helen Treharne and
                  Steve King and
                  Martin C. Henson and
                  Steve A. Schneider},
  title        = {A Rigorous Foundation for Pattern-Based Design Models},
  booktitle    = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
                  International Conference of {B} and {Z} Users, Guildford, UK, April
                  13-15, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3455},
  pages        = {242--261},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11415787\_15},
  doi          = {10.1007/11415787\_15},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/KimC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/MurrayCS04,
  author       = {Leesa Murray and
                  David A. Carrington and
                  Paul A. Strooper},
  editor       = {Vladimir Estivill{-}Castro},
  title        = {An Approach to Specifying Software Frameworks},
  booktitle    = {Computer Science 2004, Twenty-Seveth Australasian Computer Science
                  Conference (ACSC2004), Dunedin, New Zealand, January 2004},
  series       = {{CRPIT}},
  volume       = {26},
  pages        = {185--192},
  publisher    = {Australian Computer Society},
  year         = {2004},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV26Murray.html},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/MurrayCS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KimC04,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {Using Integrated Metamodeling to Define {OO} Design Patterns with
                  Object-Z and {UML}},
  booktitle    = {11th Asia-Pacific Software Engineering Conference {(APSEC} 2004),
                  30 November - 3 December 2004, Busan, Korea},
  pages        = {257--264},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/APSEC.2004.108},
  doi          = {10.1109/APSEC.2004.108},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/KimC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShuklaCS04,
  author       = {Rakesh Shukla and
                  David A. Carrington and
                  Paul A. Strooper},
  title        = {Systematic Operational Profile Development for Software Components},
  booktitle    = {11th Asia-Pacific Software Engineering Conference {(APSEC} 2004),
                  30 November - 3 December 2004, Busan, Korea},
  pages        = {528--537},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/APSEC.2004.95},
  doi          = {10.1109/APSEC.2004.95},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/ShuklaCS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/KimC04,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {A Formal Object-Oriented Approach to defining Consistency Constraints
                  for {UML} Models},
  booktitle    = {15th Australian Software Engineering Conference {(ASWEC} 2004), 13-16
                  April 2004, Melbourne, Australia},
  pages        = {87--95},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ASWEC.2004.1290461},
  doi          = {10.1109/ASWEC.2004.1290461},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/KimC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/ShuklaSC04,
  author       = {Rakesh Shukla and
                  Paul A. Strooper and
                  David A. Carrington},
  editor       = {Ivica Crnkovic and
                  Judith A. Stafford and
                  Heinz W. Schmidt and
                  Kurt C. Wallnau},
  title        = {A Framework for Reliability Assessment of Software Components},
  booktitle    = {Component-Based Software Engineering, 7th International Symposium,
                  {CBSE} 2004, Edinburgh, UK, May 24-25, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3054},
  pages        = {272--279},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24774-6\_24},
  doi          = {10.1007/978-3-540-24774-6\_24},
  timestamp    = {Sun, 02 Jun 2019 21:17:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cbse/ShuklaSC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurospi/DavisMC04,
  author       = {Noopur Davis and
                  Julia Mullaney and
                  David A. Carrington},
  editor       = {Torgeir Dings{\o}yr},
  title        = {Using Measurement Data in a TSP\({}^{\mbox{SM}}\) Project},
  booktitle    = {Software Process Improvement, 11th European Conference, EuroSPI 2004,
                  Trondheim, Norway, November 10-12, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3281},
  pages        = {91--101},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30181-3\_9},
  doi          = {10.1007/978-3-540-30181-3\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/eurospi/DavisMC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SmithWHDLC04,
  author       = {Cameron Smith and
                  Kirsten Winter and
                  Ian J. Hayes and
                  R. Geoff Dromey and
                  Peter A. Lindsay and
                  David A. Carrington},
  title        = {An Environment for Building a System out of its Requirements},
  booktitle    = {19th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2004), 20-25 September 2004, Linz, Austria},
  pages        = {398--399},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10053},
  doi          = {10.1109/ASE.2004.10053},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/SmithWHDLC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WildmanFC03,
  author       = {Luke Wildman and
                  Colin J. Fidge and
                  David A. Carrington},
  title        = {The Variety of Variables in Automated Real-Time Refinement},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {258--279},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0009-2},
  doi          = {10.1007/S00165-003-0009-2},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/WildmanFC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/StrooperCNS03,
  author       = {Paul A. Strooper and
                  David A. Carrington and
                  Sharron Newby and
                  Terry Stevenson},
  title        = {Teaching Software Engineering Fundamentals to Practicing Engineers},
  booktitle    = {16th Conference on Software Engineering Education and Training (CSEE{\&}T
                  2003), 20-22 March 2003, Madrid, Spain},
  pages        = {36--43},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CSEE.2003.1191348},
  doi          = {10.1109/CSEE.2003.1191348},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/StrooperCNS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/PurchaseCA02,
  author       = {Helen C. Purchase and
                  David A. Carrington and
                  Jo{-}Anne Allder},
  title        = {Empirical Evaluation of Aesthetics-based Graph Layout},
  journal      = {Empir. Softw. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {233--255},
  year         = {2002},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ese/PurchaseCA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgaa/PurchaseAC02,
  author       = {Helen C. Purchase and
                  Jo{-}Anne Allder and
                  David A. Carrington},
  title        = {Graph Layout Aesthetics in {UML} Diagrams: User Preferences},
  journal      = {J. Graph Algorithms Appl.},
  volume       = {6},
  number       = {3},
  pages        = {255--279},
  year         = {2002},
  url          = {https://doi.org/10.7155/jgaa.00054},
  doi          = {10.7155/JGAA.00054},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jgaa/PurchaseAC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BorstlerCHLOW02,
  author       = {J{\"{u}}rgen B{\"{o}}rstler and
                  David A. Carrington and
                  Gregory W. Hislop and
                  Susan K. Lisack and
                  Keith Olson and
                  Laurie A. Williams},
  title        = {Teaching the {PSP:} Challenges and Lessons Learned},
  journal      = {{IEEE} Softw.},
  volume       = {19},
  number       = {5},
  pages        = {42--48},
  year         = {2002},
  url          = {https://doi.org/10.1109/MS.2002.1032853},
  doi          = {10.1109/MS.2002.1032853},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/BorstlerCHLOW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KimC02,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {Integrating Use-Case Analysis and Task Analysis for Interactive Systems},
  booktitle    = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
                  December 2002, Gold Coast, Queensland, Australia},
  pages        = {12--21},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/APSEC.2002.1182971},
  doi          = {10.1109/APSEC.2002.1182971},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/KimC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KimC02,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  editor       = {Chris George and
                  Huaikou Miao},
  title        = {A Formal Metamodeling Approach to a Transformation between the {UML}
                  State Machine and Object-Z},
  booktitle    = {Formal Methods and Software Engineering, 4th International Conference
                  on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
                  21-25, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2495},
  pages        = {548--560},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36103-0\_55},
  doi          = {10.1007/3-540-36103-0\_55},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/KimC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/PurchaseCMC02,
  author       = {Helen C. Purchase and
                  Linda Colpoys and
                  Matthew McGill and
                  David A. Carrington},
  title        = {{UML} Collaboration Diagram Syntax: An Empirical Study of Comprehension},
  booktitle    = {Proceedings of the 1st International Workshop on Visualizing Software
                  for Understanding and Analysis, {VISSOFT} 2002, Paris, France, June
                  26, 2002},
  pages        = {13--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/VISSOF.2002.1019790},
  doi          = {10.1109/VISSOF.2002.1019790},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vissoft/PurchaseCMC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/KimC02,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  editor       = {Didier Bert and
                  Jonathan P. Bowen and
                  Martin C. Henson and
                  Ken Robinson},
  title        = {A Formal Model of the {UML} Metamodel: The {UML} State Machine and
                  Its Integrity Constraints},
  booktitle    = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
                  International Conference of {B} and {Z} Users, Grenoble, France, January
                  23-25, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2272},
  pages        = {497--516},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45648-1\_26},
  doi          = {10.1007/3-540-45648-1\_26},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/KimC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/KimC01,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {A formal denotational semantics of {UML} in Object-Z},
  journal      = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
  volume       = {7},
  number       = {1},
  pages        = {323--362},
  year         = {2001},
  url          = {http://objet.e-revues.com/article.jsp?articleId=516},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/Lobjet/KimC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apvis/PurchaseCMCB01,
  author       = {Helen C. Purchase and
                  Linda Colpoys and
                  Matthew McGill and
                  David A. Carrington and
                  Carol Britton},
  editor       = {Peter Eades and
                  Tim Pattison},
  title        = {{UML} Class Diagram Syntax: An Empirical Study of Comprehension},
  booktitle    = {Australasian Symposium on Information Visualisation, InVis.au, Sydney,
                  Australia, 3-4 December 2001},
  series       = {{CRPIT}},
  volume       = {9},
  pages        = {113--120},
  publisher    = {Australian Computer Society},
  year         = {2001},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV9Purchase1.html},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apvis/PurchaseCMCB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apvis/PurchaseMCC01,
  author       = {Helen C. Purchase and
                  Matthew McGill and
                  Linda Colpoys and
                  David A. Carrington},
  editor       = {Peter Eades and
                  Tim Pattison},
  title        = {Graph Drawing Aesthetics and the Comprehension of {UML} Class Diagrams:
                  An Empirical Study},
  booktitle    = {Australasian Symposium on Information Visualisation, InVis.au, Sydney,
                  Australia, 3-4 December 2001},
  series       = {{CRPIT}},
  volume       = {9},
  pages        = {129--137},
  publisher    = {Australian Computer Society},
  year         = {2001},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV9Purchase2.html},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apvis/PurchaseMCC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/HusseyMC01,
  author       = {Andrew Hussey and
                  Ian MacColl and
                  David A. Carrington},
  title        = {Assessing Usability from Formal User-Interface Designs},
  booktitle    = {13th Australian Software Engineering Conference {(ASWEC} 2001), 26-28
                  August 2001, Canberra, Australia},
  pages        = {40--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ASWEC.2001.948496},
  doi          = {10.1109/ASWEC.2001.948496},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/HusseyMC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/CarringtonMJ01,
  author       = {David A. Carrington and
                  Ben McEniery and
                  Dan B. Johnston},
  title        = {{PSP} {SM} in the Large Class},
  booktitle    = {14th Conference on Software Engineering Education and Training, 19-21
                  February 2001, Charlotte, North Carolina, {USA}},
  pages        = {81--88},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSEE.2001.913824},
  doi          = {10.1109/CSEE.2001.913824},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/CarringtonMJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/Carrington01,
  author       = {David A. Carrington},
  title        = {Teaching {PSPSM} and TSPi in Universities},
  booktitle    = {14th Conference on Software Engineering Education and Training, 19-21
                  February 2001, Charlotte, North Carolina, {USA}},
  pages        = {139},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.ieeecomputersociety.org/10.1109/CSEET.2001.10001},
  doi          = {10.1109/CSEET.2001.10001},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/Carrington01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/SobelBCMRT01,
  author       = {Ann E. Kelley Sobel and
                  Donald J. Bagert and
                  David A. Carrington and
                  Yoshihiro Matsumoto and
                  Pierre N. Robillard and
                  J. Barrie Thompson},
  title        = {{SWEBOK} as an International Foundation for Software Engineering Program
                  Accreditation (Panel)},
  booktitle    = {14th Conference on Software Engineering Education and Training, 19-21
                  February 2001, Charlotte, North Carolina, {USA}},
  pages        = {293},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.ieeecomputersociety.org/10.1109/CSEET.2001.10002},
  doi          = {10.1109/CSEET.2001.10002},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/SobelBCMRT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/TolemanCCCMWJ01,
  author       = {Mark A. Toleman and
                  David A. Carrington and
                  Phil Cook and
                  Andrew Coyle and
                  Anthony MacDonald and
                  Jim Welsh and
                  Tim Jones},
  title        = {Generic Description of a Software Document Environment},
  booktitle    = {34th Annual Hawaii International Conference on System Sciences (HICSS-34),
                  January 3-6, 2001, Maui, Hawaii, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HICSS.2001.927258},
  doi          = {10.1109/HICSS.2001.927258},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/TolemanCCCMWJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/KimCD01,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington and
                  Roger Duke},
  title        = {A Metamodel-based transformation between {UML} and Object-Z},
  booktitle    = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
                  Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
                  Italy},
  pages        = {112--119},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HCC.2001.995246},
  doi          = {10.1109/HCC.2001.995246},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/KimCD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/ShieldHC01,
  author       = {Jamie Shield and
                  Ian J. Hayes and
                  David A. Carrington},
  editor       = {Colin J. Fidge},
  title        = {Using Theory Interpretation to Mechanise the Reals in a Theorem Prover},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {266--281},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80890-9},
  doi          = {10.1016/S1571-0661(04)80890-9},
  timestamp    = {Fri, 11 Nov 2022 16:01:10 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ShieldHC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/FulcherC00,
  author       = {John Fulcher and
                  David A. Carrington},
  title        = {{CSE} Special Australasian Issue - Guest Editorial},
  journal      = {Comput. Sci. Educ.},
  volume       = {10},
  number       = {2},
  pages        = {107},
  year         = {2000},
  url          = {https://doi.org/10.1076/0899-3408(200008)10:2;1-C;FT107},
  doi          = {10.1076/0899-3408(200008)10:2;1-C;FT107},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csedu/FulcherC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MacDonaldC00,
  author       = {Anthony MacDonald and
                  David A. Carrington},
  title        = {Some Elements of {Z} Specification Style: Structuring Techniques},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {6},
  number       = {12},
  pages        = {1203--1225},
  year         = {2000},
  url          = {https://doi.org/10.3217/jucs-006-12-1203},
  doi          = {10.3217/JUCS-006-12-1203},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/MacDonaldC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/WildmanFC00,
  author       = {Luke Wildman and
                  Colin J. Fidge and
                  David A. Carrington},
  title        = {Computer-aided development of a real-time program},
  journal      = {Softw. Concepts Tools},
  volume       = {19},
  number       = {4},
  pages        = {190--202},
  year         = {2000},
  url          = {https://doi.org/10.1007/s003780000006},
  doi          = {10.1007/S003780000006},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stp/WildmanFC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CarringtonMMMS00,
  author       = {David A. Carrington and
                  Ian MacColl and
                  Jason McDonald and
                  Leesa Murray and
                  Paul A. Strooper},
  title        = {From Object-Z Specifications to ClassBench Test Suites},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {2},
  pages        = {111--137},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200006)10:2\&\#60;111::AID-STVR204\&\#62;3.0.CO;2-P},
  doi          = {10.1002/1099-1689(200006)10:2\&\#60;111::AID-STVR204\&\#62;3.0.CO;2-P},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/CarringtonMMMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KimC00,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {An integrated framework with {UML} and Object-Z for developing a precise
                  and understandable specification: the light control case study},
  booktitle    = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
                  December 2000, Singapore},
  pages        = {240--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/APSEC.2000.896705},
  doi          = {10.1109/APSEC.2000.896705},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/KimC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/PurchaseCA00,
  author       = {Helen C. Purchase and
                  David A. Carrington and
                  Jo{-}Anne Allder},
  editor       = {Michael Anderson and
                  Peter C.{-}H. Cheng and
                  Volker Haarslev},
  title        = {Experimenting with Aesthetics-Based Graph Layout},
  booktitle    = {Theory and Application of Diagrams, First International Conference,
                  Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1889},
  pages        = {498--501},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44590-0\_46},
  doi          = {10.1007/3-540-44590-0\_46},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/diagrams/PurchaseCA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/PurchaseAC00,
  author       = {Helen C. Purchase and
                  Jo{-}Anne Allder and
                  David A. Carrington},
  editor       = {Joe Marks},
  title        = {User Preference of Graph Layout Aesthetics: {A} {UML} Study},
  booktitle    = {Graph Drawing, 8th International Symposium, {GD} 2000, Colonial Williamsburg,
                  VA, USA, September 20-23, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1984},
  pages        = {5--18},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44541-2\_2},
  doi          = {10.1007/3-540-44541-2\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gd/PurchaseAC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MacCollC00,
  author       = {Ian MacColl and
                  David A. Carrington},
  title        = {Translating {UAN} into {CSP}},
  booktitle    = {3rd {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
  pages        = {121--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICFEM.2000.873812},
  doi          = {10.1109/ICFEM.2000.873812},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/MacCollC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/KimC00,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  editor       = {Jonathan P. Bowen and
                  Steve Dunne and
                  Andy Galloway and
                  Steve King},
  title        = {A Formal Mapping between {UML} Models and Object-Z Specifications},
  booktitle    = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
                  International Conference of {B} and {Z} Users, York, UK, August 29
                  - September 2, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1878},
  pages        = {2--21},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44525-0\_2},
  doi          = {10.1007/3-540-44525-0\_2},
  timestamp    = {Thu, 14 Oct 2021 10:43:56 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/KimC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HusseyC99,
  author       = {Andrew Hussey and
                  David A. Carrington},
  title        = {Object-oriented user-interface development},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {5},
  pages        = {221--231},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990774},
  doi          = {10.1049/IP-SEN:19990774},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HusseyC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KimC99,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  title        = {Visualization of Formal Specifications},
  booktitle    = {6th Asia-Pacific Software Engineering Conference {(APSEC} '99), 7-10
                  December 1999, Takamatsu, Japan},
  pages        = {102--109},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/APSEC.1999.809590},
  doi          = {10.1109/APSEC.1999.809590},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/KimC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadui/HusseyC99,
  author       = {Andrew Hussey and
                  David A. Carrington},
  editor       = {Jean Vanderdonckt and
                  Angel R. Puerta},
  title        = {Model-Based Design of User Interfaces Using Object-Z},
  booktitle    = {Computer-Aided Design of User Interfaces II, Proceedings of the Third
                  International Conference of Computer-Aided Design of User Interfaces,
                  October 21-23, 1999, Louvain-la-Neuve, Belgium},
  pages        = {43--56},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Thu, 12 May 2005 08:43:23 +0200},
  biburl       = {https://dblp.org/rec/conf/cadui/HusseyC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MacCollC99,
  author       = {Ian MacColl and
                  David A. Carrington},
  editor       = {Jeannette M. Wing and
                  Jim Woodcock and
                  Jim Davies},
  title        = {A Model of Specification-Based Testing of Interactive Systems},
  booktitle    = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
                  of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
                  Volume {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1709},
  pages        = {1862},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48118-4\_54},
  doi          = {10.1007/3-540-48118-4\_54},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/MacCollC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MacCollC99,
  author       = {Ian MacColl and
                  David A. Carrington},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Specifying Interactive Systems in Object-Z and {CSP}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {335--352},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_18},
  doi          = {10.1007/978-1-4471-0851-1\_18},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/MacCollC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/MurrayCMS99,
  author       = {Leesa Murray and
                  David A. Carrington and
                  Ian MacColl and
                  Paul A. Strooper},
  title        = {TinMan - {A} Test Derivation and Management Tool for Specification-Based
                  Class Testing},
  booktitle    = {{TOOLS} Pacific 1999: 32nd International Conference on Technology
                  of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne,
                  Australia},
  pages        = {222--233},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/TOOLS.1999.809428},
  doi          = {10.1109/TOOLS.1999.809428},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/MurrayCMS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/KimC99,
  author       = {Soon{-}Kyeong Kim and
                  David A. Carrington},
  editor       = {Robert B. France and
                  Bernhard Rumpe},
  title        = {Formalizing the {UML} Class Diagram Using Object-Z},
  booktitle    = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
                  - Beyond the Standard, Second International Conference, Fort Collins,
                  CO, USA, October 28-30, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1723},
  pages        = {83--98},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46852-8\_7},
  doi          = {10.1007/3-540-46852-8\_7},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/KimC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CarringtonHNWW98,
  author       = {David A. Carrington and
                  Ian J. Hayes and
                  Ray Nickson and
                  Geoffrey Watson and
                  Jim Welsh},
  title        = {A Program Refinement Tool},
  journal      = {Formal Aspects Comput.},
  volume       = {10},
  number       = {2},
  pages        = {97--124},
  year         = {1998},
  url          = {https://doi.org/10.1007/s001650050006},
  doi          = {10.1007/S001650050006},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CarringtonHNWW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/HusseyC98,
  author       = {Alfred Hussey and
                  David A. Carrington},
  editor       = {Panos Markopoulos and
                  Peter Johnson},
  title        = {Which widgets? deriving implementations from user-interface specifications},
  booktitle    = {Design, Specification and Verification of Interactive Systems'98,
                  Proceedings of the Fifth International Eurographics Workshop, June
                  3-5, 1998, Abingdon, United Kingdom, Volume 1},
  series       = {Eurographics},
  pages        = {206--224},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-3693-5\_14},
  doi          = {10.1007/978-3-7091-3693-5\_14},
  timestamp    = {Wed, 01 Jul 2020 21:28:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/HusseyC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MacCollMSC98,
  author       = {Ian MacColl and
                  Leesa Murray and
                  Paul A. Strooper and
                  David A. Carrington},
  title        = {Specification-Based Class Testing: {A} Case Study},
  booktitle    = {Second {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
                  Proceedings},
  pages        = {222--233},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICFEM.1998.730586},
  doi          = {10.1109/ICFEM.1998.730586},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/MacCollMSC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/MacDonaldC98,
  author       = {Anthony MacDonald and
                  David A. Carrington},
  editor       = {Christine Mingins and
                  Bertrand Meyer},
  title        = {Guiding Object-Oriented Design},
  booktitle    = {{TOOLS} 1998: 28th International Conference on Technology of Object-Oriented
                  Languages and Systems, 23-26 November 1998, Melbourne, Australia},
  pages        = {88--100},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/TOOLS.1998.750027},
  doi          = {10.1109/TOOLS.1998.750027},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/MacDonaldC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MurrayCMMS98,
  author       = {Leesa Murray and
                  David A. Carrington and
                  Ian MacColl and
                  Jason McDonald and
                  Paul A. Strooper},
  editor       = {Jonathan P. Bowen and
                  Andreas Fett and
                  Michael G. Hinchey},
  title        = {Formal Derivation of Finite State Machines for Class Testing},
  booktitle    = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
                  Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1493},
  pages        = {42--59},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49676-2\_4},
  doi          = {10.1007/978-3-540-49676-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/MurrayCMMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acse/1998,
  editor       = {David A. Carrington},
  title        = {Proceedings of the {ACM} {SIGCSE} 3rd Australasian Conference on Computer
                  Science Education, {ACSE} 1998, The University of Queensland, Brisbane,
                  Queensland, Australia, July 8-10, 1998},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {3},
  publisher    = {{ACM}},
  year         = {1998},
  isbn         = {1-58113-018-X},
  timestamp    = {Fri, 01 Jul 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acse/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crossroads/MacCollC97,
  author       = {Ian MacColl and
                  David A. Carrington},
  title        = {User interface correctness},
  journal      = {{XRDS}},
  volume       = {3},
  number       = {3},
  pages        = {9--13},
  year         = {1997},
  url          = {https://doi.org/10.1145/270974.270978},
  doi          = {10.1145/270974.270978},
  timestamp    = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/crossroads/MacCollC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HusseyC97,
  author       = {Andrew Hussey and
                  David A. Carrington},
  title        = {Comparing the {MVC} and {PAC} architectures: a formal perspective},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {4},
  pages        = {224--236},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971512},
  doi          = {10.1049/IP-SEN:19971512},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HusseyC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acse/Carrington97,
  author       = {David A. Carrington},
  editor       = {Harald S{\o}ndergaard and
                  A. John Hurst},
  title        = {Teaching software testing},
  booktitle    = {Proceedings of the {ACM} {SIGCSE} 2nd Australasian Conference on Computer
                  Science Education, {ACSE} 1997, Melbourne, Victoria, Australia, 1997},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {2},
  pages        = {59--64},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/299359.299369},
  doi          = {10.1145/299359.299369},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acse/Carrington97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HusseyC97,
  author       = {Andrew Hussey and
                  David A. Carrington},
  title        = {Specifying the UQ* user-interface with Object-Z},
  booktitle    = {4th Asia-Pacific Software Engineering and International Computer Science
                  Conference {(APSEC} '97 / {ICSC} '97), 2-5 December 1997, Clear Water
                  Bay, Hong Kong},
  pages        = {374},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/APSEC.1997.640194},
  doi          = {10.1109/APSEC.1997.640194},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/HusseyC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/AllisonCJSW97,
  author       = {Warwick Allison and
                  David A. Carrington and
                  Tim Jones and
                  Larry Stewart{-}Zerba and
                  Jim Welsh},
  title        = {Visualising Software Documents in a Generic Development Environment},
  booktitle    = {1997 Australian Software Engineering Conference {(ASWEC} '97), 28
                  September - 2 October 1997, Sydney, Australia},
  pages        = {49--59},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ASWEC.1997.623754},
  doi          = {10.1109/ASWEC.1997.623754},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/AllisonCJSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/MurrayCMS97,
  author       = {Leesa Murray and
                  David A. Carrington and
                  Ian MacColl and
                  Paul A. Strooper},
  title        = {Extending Test Templates with Inheritance},
  booktitle    = {1997 Australian Software Engineering Conference {(ASWEC} '97), 28
                  September - 2 October 1997, Sydney, Australia},
  pages        = {80--87},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ASWEC.1997.623757},
  doi          = {10.1109/ASWEC.1997.623757},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/MurrayCMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/StocksC96,
  author       = {Phil Stocks and
                  David A. Carrington},
  title        = {A Framework for Specification-Based Testing},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {22},
  number       = {11},
  pages        = {777--793},
  year         = {1996},
  url          = {https://doi.org/10.1109/32.553698},
  doi          = {10.1109/32.553698},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/StocksC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acse/BakkerGSCMCP96,
  author       = {Paul Bakker and
                  Andrew Goodchild and
                  Paul A. Strooper and
                  David A. Carrington and
                  Ian MacColl and
                  Peter Creasy and
                  Helen C. Purchase},
  editor       = {Alan D. Fekete and
                  John Rosenberg},
  title        = {Setting up a tutor training programme in computer science},
  booktitle    = {Proceedings of the {ACM} {SIGCSE} 1st Australasian Conference on Computer
                  Science Education, {ACSE} 1996, Sydney, NSW, Australia, July 1996},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {1},
  pages        = {254--259},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/369585.369642},
  doi          = {10.1145/369585.369642},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acse/BakkerGSCMCP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/AllisonCJSWW96,
  author       = {Warwick Allison and
                  David A. Carrington and
                  Tim Jones and
                  Larry Stewart{-}Zerba and
                  Geoffrey Watson and
                  Jim Welsh},
  title        = {Software Visualisation in a Generic Development Environment},
  booktitle    = {1996 Australian Software Engineering Conference {(ASWEC} '96), July
                  14-18, 1996, Melbourne, Australia},
  pages        = {47--54},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ASWEC.1996.534122},
  doi          = {10.1109/ASWEC.1996.534122},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/AllisonCJSWW96.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    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/MacDonaldC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/JonesAC94,
  author       = {Tim Jones and
                  Warwick Allison and
                  David A. Carrington},
  title        = {Relational views for program comprehension},
  booktitle    = {Proceedings 1994 {IEEE} 3rd Workshop on Program Comprehension, {WPC}
                  '94, Washington, DC, USA, November 14-15, 1994},
  pages        = {136--144},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/WPC.1994.341262},
  doi          = {10.1109/WPC.1994.341262},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/iwpc/JonesAC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/CarringtonS94,
  author       = {David A. Carrington and
                  Phil Stocks},
  editor       = {Jonathan P. Bowen and
                  J. Anthony Hall},
  title        = {A Tale of Two Paradigms: Formal Methods and Software Testing},
  booktitle    = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
  series       = {Workshops in Computing},
  pages        = {51--68},
  publisher    = {Springer/BCS},
  year         = {1994},
  url          = {https://doi.org/10.1007/978-1-4471-3452-7\_4},
  doi          = {10.1007/978-1-4471-3452-7\_4},
  timestamp    = {Mon, 24 Jun 2019 12:03:37 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/CarringtonS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/StocksC93,
  author       = {Phil Stocks and
                  David A. Carrington},
  editor       = {Victor R. Basili and
                  Richard A. DeMillo and
                  Takuya Katayama},
  title        = {Test Templates: {A} Specification-Based Testing Framework},
  booktitle    = {Proceedings of the 15th International Conference on Software Engineering,
                  Baltimore, Maryland, USA, May 17-21, 1993},
  pages        = {405--414},
  publisher    = {{IEEE} Computer Society / {ACM} Press},
  year         = {1993},
  url          = {http://portal.acm.org/citation.cfm?id=257572.257664},
  timestamp    = {Mon, 14 May 2012 18:17:27 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/StocksC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/StocksC93,
  author       = {Phil Stocks and
                  David A. Carrington},
  editor       = {Thomas J. Ostrand and
                  Elaine J. Weyuker},
  title        = {Test Template Framework: {A} Specification-Based Testing Case Study},
  booktitle    = {Proceedings of the 1993 International Symposium on Software Testing
                  and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993},
  pages        = {11--18},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/154183.154190},
  doi          = {10.1145/154183.154190},
  timestamp    = {Mon, 14 Feb 2022 11:59:49 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/StocksC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CarringtonDHW93,
  author       = {David A. Carrington and
                  David J. Duke and
                  Ian J. Hayes and
                  Jim Welsh},
  editor       = {David Notkin},
  title        = {Deriving Modular Designs from Formal Specifications},
  booktitle    = {Proceedings of the First {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1993, Los Angeles, California,
                  USA, December 7-10, 1993},
  pages        = {89--98},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/256428.167066},
  doi          = {10.1145/256428.167066},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CarringtonDHW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/StocksRCL92,
  author       = {Phil Stocks and
                  Kerry Raymond and
                  David A. Carrington and
                  Andrew Lister},
  title        = {Modelling open distributed systems in {Z}},
  journal      = {Comput. Commun.},
  volume       = {15},
  number       = {2},
  pages        = {103--113},
  year         = {1992},
  url          = {https://doi.org/10.1016/0140-3664(92)90130-7},
  doi          = {10.1016/0140-3664(92)90130-7},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comcom/StocksRCL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Carrington91,
  author       = {David A. Carrington},
  editor       = {John E. Nicholls},
  title        = {{ZOOM} Workshop Report},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {352--364},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Carrington91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CarringtonR90,
  author       = {David A. Carrington and
                  Kenneth Arthur Robinson},
  editor       = {Edmund M. Clarke and
                  Robert P. Kurshan},
  title        = {Computer Assistance for Program Refinement},
  booktitle    = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
                  New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {531},
  pages        = {312--321},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0023745},
  doi          = {10.1007/BFB0023745},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CarringtonR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CarringtonR90,
  author       = {David A. Carrington and
                  Kenneth Arthur Robinson},
  editor       = {Edmund M. Clarke and
                  Robert P. Kurshan},
  title        = {Tool Support for the Refinement Calculus},
  booktitle    = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
                  New Brunswick, New Jersey, USA, June 18-21, 1990},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {3},
  pages        = {381--394},
  publisher    = {{DIMACS/AMS}},
  year         = {1990},
  url          = {https://doi.org/10.1090/dimacs/003/24},
  doi          = {10.1090/DIMACS/003/24},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/CarringtonR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CarringtonDDKRS89,
  author       = {David A. Carrington and
                  David J. Duke and
                  Roger Duke and
                  Paul King and
                  Gordon A. Rose and
                  Graeme Smith},
  editor       = {Son T. Vuong},
  title        = {Object-Z: An Object-Oriented Extension to {Z}},
  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        = {281--296},
  publisher    = {North-Holland},
  year         = {1989},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/CarringtonDDKRS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/Carrington86,
  author       = {David A. Carrington},
  title        = {User Interface issues in Programming Environments},
  journal      = {Aust. Comput. J.},
  volume       = {18},
  number       = {2},
  pages        = {55--60},
  year         = {1986},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acj/Carrington86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Carrington86,
  author       = {David A. Carrington},
  title        = {Profiling under {ELXSI} {UNIX}},
  journal      = {Softw. Pract. Exp.},
  volume       = {16},
  number       = {9},
  pages        = {865--873},
  year         = {1986},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Carrington86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics