Andrew M. Gravell

	2011
15		Till Rebenich, Andrew M. Gravell, Thanassis Tiropanis: Evaluating a web-based information system for managing master of science summer projects. ITiCSE 2011: 123-127
14		Ani Liza Asnawi, Andrew M. Gravell, Gary B. Wills: Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia. XP 2011: 192-207
13		Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto: Model-Based Trace-Checking CoRR abs/1111.2825: (2011)
12		Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner: Concurrent Development of Model and Implementation CoRR abs/1111.2826: (2011)
	2010
11		Ahmed Alnatheer, Andrew M. Gravell, David Argles: Agile security issues: an empirical study. ESEM 2010
	2008
10		Feng (Barry) Tao, Shakeel A. Khoja, Hugh C. Davis, Andrew M. Gravell: Academic Administration and Management Scenarios on the Semantic Web. ICALT 2008: 149-151
9		Noura Abbas, Andrew M. Gravell, Gary B. Wills: Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?. XP 2008: 94-103
	2007
8		Noura Abbas, Andrew M. Gravell, Gary B. Wills: Agile Software Assurance. XP 2007: 165-166
7		Andrew M. Gravell: Verification conditions are code. Acta Inf. 43(6): 431-447 (2007)
	2003
6		Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng: The Benefits of Rapid Modelling for E-business System Development. ER (Workshops) 2003: 17-28
5		Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel: Model-Based Approaches for Validating Business Critical Systems. STEP 2003: 225-233
	2002
4		Marielle Doche, Andrew M. Gravell: Extraction of Abstraction Invariants for Data Refinement. ZB 2002: 120-139
	1999
3		Eric C. R. Hehner, Andrew M. Gravell: Refinement Semantics and Loop Rules. World Congress on Formal Methods 1999: 1497-1510
	1995
2		Andrew M. Gravell, Chris H. Pratten: Formal Methods and Open Systems. Software - Concepts and Tools 16(4): 183- (1995)
	1990
1		Andrew M. Gravell: What is a Good Formal Specification? Z User Workshop 1990: 137-150

Coauthor Index

1	Noura Abbas	[8] [9]
2	Ahmed Alnatheer	[11]
3	David Argles	[11]
4	Ani Liza Asnawi	[14]
5	Juan Carlos Augusto	[5] [6] [12] [13]
6	Hugh C. Davis	[10]
7	Marielle Doche	[4]
8	Carla Ferreira	[5] [6] [12] [13]
9	Stefan Gruner	[5] [12] [13]
10	Eric C. R. Hehner	[3]
11	Y. Howard	[5] [12] [13]
12	Shakeel A. Khoja	[10]
13	Michael Leuschel	[5] [6]
14	Karen M. Y. Ng	[6]
15	Chris H. Pratten	[2]
16	Till Rebenich	[15]
17	Feng (Barry) Tao	[10]
18	Thanassis Tiropanis	[15]
19	Gary B. Wills (Gary Wills)	[8] [9] [14]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page