BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Carrington:David_A=

Contributed to:

ECMDA-FA 20082008
FM 20052005
ASE 20042004
CBSE 20042004
CSEE&T 20032003
VISSOFT 20022002
CSEE&T 20012001
World Congress on Formal Methods 19991999
IFM 19991999
TOOLS Pacific 19991999
UML 19991999
TOOLS Pacific 19981998
FSE 19931993
ICSE 19931993
ISSTA 19931993
CAV 19901990

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.