default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrew M. Gravell
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1995
[b1]Andrew M. Gravell:
A first order refinement calculus. University of Southampton, UK, 1995
Journal Articles
- 2019
- [j9]Muna Altherwi, Andy M. Gravell:
A Large-Scale Dataset of Popular Open Source Projects. J. Comput. 14(4): 240-246 (2019) - [j8]Abdullah R. Altaleb, Andrew M. Gravell:
An Empirical Investigation of Effort Estimation in Mobile Apps Using Agile Development Process. J. Softw. 14(8): 356-369 (2019) - 2018
- [j7]Abdullah R. Altaleb, Andrew M. Gravell:
Effort Estimation across Mobile App Platforms using Agile Processes: A Systematic Literature Review. J. Softw. 13(4): 242-259 (2018) - [j6]Stefan Gruner, Andrew M. Gravell:
On More or Less Appropriate Notions of 'Computation'. South Afr. Comput. J. 30(1) (2018) - 2017
- [j5]Abdullah Aldahmash, Andrew M. Gravell, Yvonne Howard:
Using Factor Analysis to Study the Critical Success Factors of Agile Software Development. J. Softw. 12(12): 957-963 (2017) - 2016
- [j4]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): 139-148 (2016) - 2007
- [j3]Andrew M. Gravell:
Verification conditions are code. Acta Informatica 43(6): 431-447 (2007) - 1996
- [j2]Andrew M. Gravell, Peter Henderson:
Executing formal specifications need not be harmful. Softw. Eng. J. 11(2): 104-110 (1996) - 1995
- [j1]Andrew M. Gravell, Chris H. Pratten:
Formal Methods and Open Systems. Softw. Concepts Tools 16(4): 183- (1995)
Conference and Workshop Papers
- 2021
- [c24]Asmaa Abduldaem, Andy M. Gravell:
Success Factors of Business Intelligence and Performance Dashboards to Improve Performance in Higher Education. ICEIS (2) 2021: 392-402 - [c23]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: 150-155 - 2020
- [c22]Abdullah R. Altaleb, Hussein Alhashimi, Andy M. Gravell:
A Case Study Validation of the Pair-estimation Technique in Effort Estimation of Mobile App Development Using Agile Processes. ACIT 2020: 469-473 - [c21]Hussein Al Hashimi, Abdullah R. Altaleb, Andrew M. Gravell:
An Empirical Investigation of Spikes in Agile Software Development. ESSE 2020: 37-43 - [c20]Abdullah R. Altaleb, Muna Altherwi, Andy M. Gravell:
A Pair Estimation Technique of Effort Estimation in Mobile App Development for Agile Process: Case Study. ICISS 2020: 29-37 - 2017
- [c19]Abdullah Aldahmash, Andy M. Gravell, Yvonne Howard:
A Review on the Critical Success Factors of Agile Software Development. EuroSPI 2017: 504-512 - 2014
- [c18]Fatimah Y. Akeel, Gary B. Wills, Andrew M. Gravell:
Exposing data leakage in Data Integration Systems. ICITST 2014: 420-425 - 2013
- [c17]Fatimah Y. Akeel, Gary B. Wills, Andrew M. Gravell:
SecureDIS: A framework for secure Data Integration Systems. ICITST 2013: 588-593 - 2011
- [c16]Till Rebenich, Andrew M. Gravell, Thanassis Tiropanis:
Evaluating a web-based information system for managing master of science summer projects. ITiCSE 2011: 123-127 - [c15]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: 93-99 - [c14]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 - 2010
- [c13]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: 11-20 - [c12]Noura Abbas, Andrew M. Gravell, Gary B. Wills:
The Impact of Organization, Project and Governance Variables on Software Quality and Project Success. AGILE 2010: 77-86 - [c11]Ahmed Alnatheer, Andrew M. Gravell, David Argles:
Agile security issues: an empirical study. ESEM 2010 - 2008
- [c10]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 - [c9]Noura Abbas, Andrew M. Gravell, Gary B. Wills:
Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?. XP 2008: 94-103 - 2007
- [c8]Noura Abbas, Andrew M. Gravell, Gary B. Wills:
Agile Software Assurance. XP 2007: 165-166 - 2003
- [c7]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 - [c6]Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel:
Model-Based Approaches for Validating Business Critical Systems. STEP 2003: 225-233 - 2002
- [c5]Marielle Doche, Andrew M. Gravell:
Extraction of Abstraction Invariants for Data Refinement. ZB 2002: 120-139 - 1999
- [c4]Eric C. R. Hehner, Andrew M. Gravell:
Refinement Semantics and Loop Rules. World Congress on Formal Methods 1999: 1497-1510 - 1992
- [c3]Andrew M. Gravell:
Constructive Refinement of First Order Specifications. Refine 1992: 181-210 - 1990
- [c2]Andrew M. Gravell:
What is a Good Formal Specification? Z User Workshop 1990: 137-150 - 1989
- [c1]Andrew M. Gravell:
Minimisation in Formal Specification and Design. Z User Workshop 1989: 32-45
Informal and Other Publications
- 2011
- [i2]Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto:
Model-Based Trace-Checking. CoRR abs/1111.2825 (2011) - [i1]Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner:
Concurrent Development of Model and Implementation. CoRR abs/1111.2826 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
