Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: David A. Carrington
@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} }
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.