Travelled to:1 × Canada
1 × Denmark
1 × Germany
1 × United Kingdom
2 × USA
Collaborated with:∅ J.Hammond R.Rawlings R.Banach C.Jeske S.Stepney
Talks about:softwar (2) system (2) requir (2) integr (2) formal (2) engin (2) work (2) use (2) construct (1) retrench (1)
Person: Anthony Hall
DBLP: Hall:Anthony
Contributed to:
20072005
2002
20011997
1992
1990
1987Wrote 9 papers:
- SEFM-2007-BanachJHS
- Retrenchment and the Atomicity Pattern (RB, CJ, AH, SS), pp. 37–46.
- SEFM-2005-Hall #formal method
- Making Formal Methods Work (AH), pp. 261–262.
- FME-2002-Hall #correctness #development #process
- Correctness by Construction: Integrating Formality into a Commercial Development Process (AH), pp. 224–233.
- RE-2001-Hall #approach #requirements
- A Unified Approach to Systems and Software Requirements (AH), p. 267.
- RE-2001-HammondRH #question
- Will It Work? (JH, RR, AH), pp. 102–109.
- RE-1997-Hall #question #requirements #using #what
- What’s the Use of Requirements Engineering? (AH), p. 2–?.
- SEI-1992-Hall #question #re-engineering
- Is Software Engineering? (AH), pp. 5–8.
- VDME-1990-Hall #calculus #object-oriented #specification #using
- Using Z as a Specification Calculus for Object-Oriented Systems (AH), pp. 290–318.
- ICSE-1987-Hall #interface
- Tool Interfaces in Integrated Project Support Environments (AH), pp. 289–290.