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 × 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 DBLP: Hall:Anthony

Contributed to:

SEFM 20072007
SEFM 20052005
FME 20022002
RE 20012001
RE 19971997
SEI 19921992
VDM Europe 19901990
ICSE 19871987

Wrote 9 papers:

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.

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.