Anthony Hall

	2010
26		Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael Jones: Motion Capture for a Natural Tree in the Wind. MIG 2010: 158-169
	2008
25		Anthony Hall: Integrating Z into Large Projects Tools and Techniques. ABZ 2008: 337
	2007
24		Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
23		Anthony Hall: Realising the Benefits of Formal Methods. J. UCS 13(5): 669-678 (2007)
	2005
22		Anthony Hall: Realising the Benefits of Formal Methods. ICFEM 2005: 1-4
21		Anthony Hall: Making Formal Methods Work. SEFM 2005: 261-262
20		Anthony Hall: Software Verification and Software Engineering a Practitioner's Perspective. VSTTE 2005: 70-73
	2002
19		Anthony Hall: Z Styles for Security Properties and Modern User Interfaces. FASec 2002: 152-166
18		Anthony Hall: Correctness by Construction: Integrating Formality into a Commercial Development Process. FME 2002: 224-233
17		Anthony Hall, Roderick Chapman: Correctness by Construction: Developing a Commercial Secure System. IEEE Software 19(1): 18-25 (2002)
	2001
16		Jonathan Hammond, Rosamund Rawlings, Anthony Hall: Will It Work? RE 2001: 102-109
15		Anthony Hall: A Unified Approach to Systems and Software Requirements. RE 2001: 267
	1998
14		Anthony Hall: What Does Industry Need From Formal Specification Techniques? WIFT 1998: 2-
	1997
13		Anthony Hall: Do interactive systems need specifications? DSV-IS 1997: 1-12
12		Adrian Cox, Anthony Hall: A Real Time Kernel to Support the Transputer Programming Model. HPCN Europe 1997: 615-623
11		Nikolaos G. Bourbakis, Richard Andel, Anthony Hall: Visual Target Tracking and Extraction from a Sequence of Images. ICTAI 1997: 384-391
10		Anthony Hall: What's the Use of Requirements Engineering? RE 1997: 2-
9		Anthony Hall: Taking Z Seriously. ZUM 1997: 89-91
	1996
8		Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)
7		Anthony Hall: Using Formal Methods to Develop an ATC Information System. IEEE Software 13(2): 66-76 (1996)
	1995
6		Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett: The Future of Formal Methods in Industry. ZUM 1995: 237-242
	1994
5		Anthony Hall: Specifying and Interpreting Class Hierarchies in Z. Z User Workshop 1994: 120-138
	1992
4		Anthony Hall: Is Software Engineering? CSEE 1992: 5-8
	1990
3		Anthony Hall: Using Z as a Specification Calculus for Object-Oriented Systems. VDM Europe 1990: 290-318
2		Anthony Hall: Seven Myths of Formal Methods. IEEE Software 7(5): 11-19 (1990)
	1987
1		Anthony Hall: Tool Interfaces in Integrated Project Support Environments. ICSE 1987: 289-290

Coauthor Index

1	Richard Andel	[11]
2	Richard Banach	[24]
3	Nikolaos G. Bourbakis	[11]
4	Jonathan P. Bowen	[8]
5	Ontario Britton	[26]
6	Ricky W. Butler	[8]
7	Roderick Chapman	[17]
8	Adrian Cox	[12]
9	David L. Dill	[8]
10	Robert L. Glass	[8]
11	David Gries	[8]
12	Jonathan Hammond	[16]
13	Michael G. Hinchey (Mike Hinchey)	[8]
14	C. Michael Holloway	[8]
15	Daniel Jackson	[8]
16	Czeslaw Jeske	[24]
17	Cliff B. Jones (Clifford B. Jones)	[8]
18	Michael Jones	[26]
19	Jie Long	[26]
20	Michael J. Lutz	[8]
21	David Lorge Parnas	[6] [8]
22	Nico Plat	[6]
23	Rosamund Rawlings	[16]
24	Cory Reimschussel	[26]
25	John M. Rushby	[6] [8]
26	Chris T. Sennett	[6]
27	Susan Stepney	[24]
28	Jeannette M. Wing	[8]
29	Pamela Zave	[8]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page