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 × Australia
1 × China
2 × France
6 × USA
Collaborated with:
A.Hamie J.Howse H.J.C.Ellis J.McKim S.Cook A.Kleppe J.Warmer A.Wills F.Civello S.Kent B.Rumpe A.C.Wills
Talks about:
contract (7) analysi (5) uml (4) constraint (2) softwar (2) languag (2) attitud (2) object (2) defin (2) ocl (2)

Person: Richard Mitchell

DBLP DBLP: Mitchell:Richard

Contributed to:

CSEE&T 20042004
TOOLS USA 20002000
TOOLS Europe 19991999
TOOLS Pacific 19991999
TOOLS USA 19991999
UML 19991999
TOOLS USA 19981998
UML 19981998
TOOLS Asia 19971997
TOOLS USA 19971997

Wrote 12 papers:

CSEET-2004-EllisM #re-engineering #self
Self-Grading in a Project-Based Software Engineering Course (HJCE, RM), pp. 138–143.
TOOLS-USA-2000-Mitchell00a #process
Adding Value to the Unified Process (RM), pp. 435–436.
TOOLS-EUROPE-1999-Mitchell99a #analysis #contract #exclamation #uml
Analysis by Contract: UML with Attitude! (RM), p. 407.
TOOLS-PACIFIC-1999-CookKWMRW #product line #uml #using
Defining UML Family Members Using Prefaces (SC, AK, JW, RM, BR, ACW), pp. 102–114.
TOOLS-PACIFIC-1999-MitchellM #contract
Extending a Method of Devising Software Contracts (RM, JM), p. 234–?.
TOOLS-USA-1999-Mitchell #analysis #contract #uml
Analysis by Contract or UML with Attitude (RM), p. 465–?.
UML-1999-CookKMWW #ocl
Defining the Context of OCL Expressions (SC, AK, RM, JW, AW), pp. 372–383.
TOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml
Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.
UML-1998-HamieCHKM #constraints #ocl
Reflections on the Object Constraint Language (AH, FC, JH, SK, RM), pp. 162–172.
TOOLS-ASIA-1997-Mitchell97a #analysis #contract
Analysis by Contract (RM), p. 421.
TOOLS-ASIA-1997-MitchellHH #specification
Contract-Oriented Specifications (RM, JH, AH), pp. 131–140.
TOOLS-USA-1997-Mitchell #analysis #contract
Analysis by Contract (RM), p. 372.

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.