Author: Anthony Hall

Anthony Hall

Anthony Hall

Publications

Publication period start: 1996
Publication period end: 2001
Number of co-authors: 16

Co-authors

Number of publications with favourite co-authors
John M. Rushby
1
Jeannette M. Wing
1
Pamela Zave
1

Productive Colleagues

Most productive colleagues in number of publications
David Lorge Parnas
29
David Gries
31
Robert L. Glass
48

Publications

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.

Hall, Anthony (2001): A Unified Approach to Systems and Software Requirements. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 267. http://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250267abs.htm

Hall, Anthony (1997): What\'s the Use of Requirements Engineering?. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 2-. http://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400002abs.htm

Hammond, Jonathan, Rawlings, Rosamund, Hall, Anthony (2001): Will It Work?. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 102-109. http://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250102abs.htm

Hall, Anthony (1997): Do interactive systems need specifications?. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 1-12.