Author: Anthony Hall
Publications
Co-authors
Productive Colleagues
- David Lorge Parnas
- David Gries
- Robert L. Glass
- 29
- 31
- 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. https://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-. https://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. https://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.