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: Mitchell:Richard
Contributed to:
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.