Andrew M. Gravell

Publication Activity (10 Years)

Years Active: 1989-2021
Publications (10 Years): 7

Top Venues

J. Softw.

ICITST

ICEIT

ESSE

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Eman Madani Bakheet, Andrew M. Gravell
Significant Factors Influencing Computer Science Instructor's Behavioral Intentions to Adopt the Flipped Classroom: A Global Quantitative Study. ICEIT (2021)
Hussein Al Hashimi, Abdullah R. Altaleb, Andrew M. Gravell
An Empirical Investigation of Spikes in Agile Software Development. ESSE (2020)
Abdullah R. Altaleb, Andrew M. Gravell
An Empirical Investigation of Effort Estimation in Mobile Apps Using Agile Development Process. J. Softw. 14 (8) (2019)
Stefan Gruner, Andrew M. Gravell
On More or Less Appropriate Notions of 'Computation'. South Afr. Comput. J. 30 (1) (2018)
Abdullah R. Altaleb, Andrew M. Gravell
Effort Estimation across Mobile App Platforms using Agile Processes: A Systematic Literature Review. J. Softw. 13 (4) (2018)
Abdullah Aldahmash, Andrew M. Gravell, Yvonne Howard
Using Factor Analysis to Study the Critical Success Factors of Agile Software Development. J. Softw. 12 (12) (2017)
Fatimah Y. Akeel, Asieh Salehi Fathabadi, Federica Paci, Andrew M. Gravell, Gary B. Wills
Formal Modelling of Data Integration Systems Security Policies. Data Sci. Eng. 1 (3) (2016)
Fatimah Y. Akeel, Gary B. Wills, Andrew M. Gravell
Exposing data leakage in Data Integration Systems. ICITST (2014)
Fatimah Y. Akeel, Gary B. Wills, Andrew M. Gravell
SecureDIS: A framework for secure Data Integration Systems. ICITST (2013)
Till Rebenich, Andrew M. Gravell, Thanassis Tiropanis
Evaluating a web-based information system for managing master of science summer projects. ITiCSE (2011)
Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto
Model-Based Trace-Checking CoRR (2011)
Lisha Chen-Wilson, Andrew M. Gravell, David Argles
Giving you back control of your data digital signing practical issues and the eCert solution. WorldCIS (2011)
Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner
Concurrent Development of Model and Implementation CoRR (2011)
Ani Liza Asnawi, Andrew M. Gravell, Gary B. Wills
Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia. XP (2011)
Noura Abbas, Andrew M. Gravell, Gary B. Wills
Using Factor Analysis to Generate Clusters of Agile Practices (A Guide for Agile Process Improvement). AGILE (2010)
Noura Abbas, Andrew M. Gravell, Gary B. Wills
The Impact of Organization, Project and Governance Variables on Software Quality and Project Success. AGILE (2010)
Ahmed Alnatheer, Andrew M. Gravell, David Argles
Agile security issues: an empirical study. ESEM (2010)
Feng (Barry) Tao, Shakeel A. Khoja, Hugh C. Davis, Andrew M. Gravell
Academic Administration and Management Scenarios on the Semantic Web. ICALT (2008)
Noura Abbas, Andrew M. Gravell, Gary B. Wills
Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?. XP (2008)
Noura Abbas, Andrew M. Gravell, Gary B. Wills
Agile Software Assurance. XP (2007)
Andrew M. Gravell
Verification conditions are code. Acta Informatica 43 (6) (2007)
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)
Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel
Model-Based Approaches for Validating Business Critical Systems. STEP (2003)
Marielle Doche, Andrew M. Gravell
Extraction of Abstraction Invariants for Data Refinement. ZB (2002)
Eric C. R. Hehner, Andrew M. Gravell
Refinement Semantics and Loop Rules. World Congress on Formal Methods (1999)
Andrew M. Gravell, Peter Henderson
Executing formal specifications need not be harmful. Softw. Eng. J. 11 (2) (1996)
Andrew M. Gravell, Chris H. Pratten
Formal Methods and Open Systems. Softw. Concepts Tools 16 (4) (1995)
Andrew M. Gravell
Constructive Refinement of First Order Specifications. Refine (1992)
Andrew M. Gravell
What is a Good Formal Specification? Z User Workshop (1990)
Andrew M. Gravell
Minimisation in Formal Specification and Design. Z User Workshop (1989)

Andrew M. Gravell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrew M. Gravell