Travelled to:1 × Austria
1 × Germany
1 × Spain
2 × Australia
2 × France
3 × United Kingdom
5 × USA
Collaborated with:I.MacColl P.A.Strooper P.Stocks S.Kim ∅ A.MacDonald K.A.Robinson I.J.Hayes D.Burger R.Shukla B.McEniery D.B.Johnston S.Newby T.Stevenson H.C.Purchase L.Colpoys M.McGill L.Murray D.J.Duke J.Welsh C.Chevillat J.G.Süß L.Wildman C.Smith K.Winter R.G.Dromey P.A.Lindsay
Talks about:test (7) specif (5) base (5) framework (3) softwar (3) system (3) object (3) formal (3) model (3) class (3)
Person: David A. Carrington
DBLP: Carrington:David_A=
Contributed to:
2008
2005
2004
2004
2003
200220011999
1999
1999
19991998
1993
1993
1993
1990Wrote 18 papers:
- ECMDA-FA-2008-ChevillatCSSW #generative #modelling
- Model-Based Generation of Interlocking Controller Software from Control Tables (CC, DAC, PAS, JGS, LW), pp. 349–360.
- FM-2005-KimBC #approach #formal method #modelling #towards
- An MDA Approach Towards Integrating Formal and Informal Modeling Languages (SKK, DB, DAC), pp. 448–464.
- ASE-2004-SmithWHDLC #requirements
- An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.
- CBSE-2004-ShuklaSC #assessment #component #framework #reliability
- A Framework for Reliability Assessment of Software Components (RS, PAS, DAC), pp. 272–279.
- CSEET-2003-StrooperCNS #education #re-engineering
- Teaching Software Engineering Fundamentals to Practicing Engineers (PAS, DAC, SN, TS), pp. 36–43.
- VISSOFT-2002-PurchaseCMC #collaboration #comprehension #diagrams #empirical #syntax #uml
- UML Collaboration Diagram Syntax: An Empirical Study of Comprehension (HCP, LC, MM, DAC), pp. 13–22.
- CSEET-2001-Carrington #education
- Teaching PSPSM and TSPi in Universities (DAC), p. 139–?.
- CSEET-2001-CarringtonMJ #in the large
- PSP SM in the Large Class (DAC, BM, DBJ), pp. 81–88.
- FM-v2-1999-MacCollC #interactive #testing
- A Model of Specification-Based Testing of Interactive Systems (IM, DAC), p. 1862.
- IFM-1999-MacCollC #csp #interactive #specification
- Specifying Interactive Systems in Object-Z and CSP (IM, DAC), pp. 335–352.
- TOOLS-PACIFIC-1999-MurrayCMS #named #testing
- TinMan — A Test Derivation and Management Tool for Specification-Based Class Testing (LM, DAC, IM, PAS), pp. 222–233.
- UML-1999-KimC #diagrams #formal method #uml #using
- Formalizing the UML Class Diagram Using Object-Z (SKK, DAC), pp. 83–98.
- TOOLS-PACIFIC-1998-MacDonaldC #design #object-oriented
- Guiding Object-Oriented Design (AM, DAC), pp. 88–100.
- FSE-1993-CarringtonDHW #composition #design #specification
- Deriving Modular Designs from Formal Specifications (DAC, DJD, IJH, JW), pp. 89–98.
- ICSE-1993-StocksC #framework #testing
- Test Templates: A Specification-Based Testing Framework (PS, DAC), pp. 405–414.
- ISSTA-1993-StocksC #case study #framework #testing
- Test Template Framework: A Specification-Based Testing Case Study (PS, DAC), pp. 11–18.
- CAV-1990-CarringtonR #refinement
- Computer Assistance for Program Refinement (DAC, KAR), pp. 312–321.