Andrew M. Gravell

According to our database, Andrew M. Gravell authored at least 36 papers between 1989 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Significant Factors Influencing Computer Science Instructor's Behavioral Intentions to Adopt the Flipped Classroom: A Global Quantitative Study.

Eman Madani Bakheet, Andrew M. Gravell

Proceedings of the 10th International Conference on Educational and Information Technology, 2021

Success Factors of Business Intelligence and Performance Dashboards to Improve Performance in Higher Education.

Asmaa Abduldaem, Andy M. Gravell

Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021

2020

A Pair Estimation Technique of Effort Estimation in Mobile App Development for Agile Process: Case Study.

Abdullah R. Altaleb, Muna Altherwi, Andy M. Gravell

Proceedings of the ICISS 2020: The 3rd International Conference on Information Science and System, 2020

An Empirical Investigation of Spikes in Agile Software Development.

Hussein Al Hashimi, Abdullah R. Altaleb, Andrew M. Gravell

Proceedings of the ESSE 2020: 2020 European Symposium on Software Engineering, 2020

A Case Study Validation of the Pair-estimation Technique in Effort Estimation of Mobile App Development Using Agile Processes.

Abdullah R. Altaleb, Hussein Alhashimi, Andy M. Gravell

Proceedings of the 10th International Conference on Advanced Computer Information Technologies, 2020

2019

An Empirical Investigation of Effort Estimation in Mobile Apps Using Agile Development Process.

Abdullah R. Altaleb, Andrew M. Gravell

J. Softw., 2019

A Large-Scale Dataset of Popular Open Source Projects.

Muna Altherwi, Andy M. Gravell

J. Comput., 2019

2018

On More or Less Appropriate Notions of 'Computation'.

Stefan Gruner, Andrew M. Gravell

South Afr. Comput. J., 2018

Effort Estimation across Mobile App Platforms using Agile Processes: A Systematic Literature Review.

Abdullah R. Altaleb, Andrew M. Gravell

J. Softw., 2018

2017

Using Factor Analysis to Study the Critical Success Factors of Agile Software Development.

Abdullah Aldahmash, Andrew M. Gravell, Yvonne Howard

J. Softw., 2017

A Review on the Critical Success Factors of Agile Software Development.

Abdullah Aldahmash, Andy M. Gravell, Yvonne Howard

Proceedings of the Systems, Software and Services Process Improvement, 2017

2016

Formal Modelling of Data Integration Systems Security Policies.

Fatimah Y. Akeel, Asieh Salehi Fathabadi, Federica Paci, Andrew M. Gravell, Gary B. Wills

Data Sci. Eng., 2016

2014

Exposing data leakage in Data Integration Systems.

Fatimah Y. Akeel, Gary B. Wills, Andrew M. Gravell

Proceedings of the 9th International Conference for Internet Technology and Secured Transactions, 2014

2013

SecureDIS: A framework for secure Data Integration Systems.

Fatimah Y. Akeel, Gary B. Wills, Andrew M. Gravell

Proceedings of the 8th International Conference for Internet Technology and Secured Transactions, 2013

2011

Concurrent Development of Model and Implementation

Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner

CoRR, 2011

Model-Based Trace-Checking

Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto

CoRR, 2011

Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia.

Ani Liza Asnawi, Andrew M. Gravell, Gary B. Wills

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2011

Giving you back control of your data digital signing practical issues and the eCert solution.

Lisha Chen-Wilson, Andrew M. Gravell, David Argles

Proceedings of the 2011 World Congress on Internet Security, 2011

Evaluating a web-based information system for managing master of science summer projects.

Till Rebenich, Andrew M. Gravell, Thanassis Tiropanis

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

2010

Agile security issues: an empirical study.

Ahmed Alnatheer, Andrew M. Gravell, David Argles

Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

The Impact of Organization, Project and Governance Variables on Software Quality and Project Success.

Noura Abbas, Andrew M. Gravell, Gary B. Wills

Proceedings of the 2010 Agile Conference, 2010

Using Factor Analysis to Generate Clusters of Agile Practices (A Guide for Agile Process Improvement).

Noura Abbas, Andrew M. Gravell, Gary B. Wills

Proceedings of the 2010 Agile Conference, 2010

2008

Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?.

Noura Abbas, Andrew M. Gravell, Gary B. Wills

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008

Academic Administration and Management Scenarios on the Semantic Web.

Feng (Barry) Tao, Shakeel A. Khoja, Hugh C. Davis, Andrew M. Gravell

Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

2007

Verification conditions are code.

Andrew M. Gravell

Acta Informatica, 2007

Agile Software Assurance.

Noura Abbas, Andrew M. Gravell, Gary B. Wills

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2007

2003

Model-Based Approaches for Validating Business Critical Systems.

Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

The Benefits of Rapid Modelling for E-business System Development.

Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng

Proceedings of the Conceptual Modeling for Novel Application Domains, 2003

2002

Extraction of Abstraction Invariants for Data Refinement.

Marielle Doche, Andrew M. Gravell

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

1999

Refinement Semantics and Loop Rules.

Eric C. R. Hehner, Andrew M. Gravell

Proceedings of the FM'99 - Formal Methods, 1999

1996

Executing formal specifications need not be harmful.

Andrew M. Gravell, Peter Henderson

Softw. Eng. J., 1996

1995

A first order refinement calculus.

Andrew M. Gravell

PhD thesis, 1995

Formal Methods and Open Systems.

Andrew M. Gravell, Chris H. Pratten

Softw. Concepts Tools, 1995

1992

Constructive Refinement of First Order Specifications.

Andrew M. Gravell

Proceedings of the 5th Refinement Workshop, 1992

1990

What is a Good Formal Specification?

Andrew M. Gravell

Proceedings of the Z User Workshop, 1990

1989

Minimisation in Formal Specification and Design.

Andrew M. Gravell

Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989