Andrew M. Gravell - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2021

Significant Factors Influencing Computer Science Instructor's Behavioral Intentions to Adopt the Flipped Classroom: A Global Quantitative StudyEman Madani Bakheet, Andrew M. Gravell. iceit 2021: 150-155 [doi]

2020

An Empirical Investigation of Spikes in Agile Software DevelopmentHussein Al-Hashimi, Abdullah R. Altaleb, Andrew M. Gravell. litp 2020: 37-43 [doi]

2019

An Empirical Investigation of Effort Estimation in Mobile Apps Using Agile Development ProcessAbdullah R. Altaleb, Andrew M. Gravell. jsw, 14(8):356-369, 2019. [doi]

2018

Effort Estimation across Mobile App Platforms using Agile Processes: A Systematic Literature ReviewAbdullah R. Altaleb, Andrew M. Gravell. jsw, 13(4):242-259, 2018. [doi]

On More or Less Appropriate Notions of 'Computation'Stefan Gruner, Andrew M. Gravell. saj, 30(1), 2018. [doi]

2017

Using Factor Analysis to Study the Critical Success Factors of Agile Software DevelopmentAbdullah Aldahmash, Andrew M. Gravell, Yvonne Howard. jsw, 12(12):957-963, 2017. [doi]

2016

Formal Modelling of Data Integration Systems Security PoliciesFatimah Y. Akeel, Asieh Salehi Fathabadi, Federica Paci, Andrew M. Gravell, Gary Wills. dase, 1(3):139-148, 2016. [doi]

2014

Exposing data leakage in Data Integration SystemsFatimah Y. Akeel, Gary B. Wills, Andrew M. Gravell. icitst 2014: 420-425 [doi]

2013

SecureDIS: A framework for secure Data Integration SystemsFatimah Y. Akeel, Gary B. Wills, Andrew M. Gravell. icitst 2013: 588-593 [doi]

2011

Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in MalaysiaAni Liza Asnawi, Andrew M. Gravell, Gary B. Wills. xpu 2011: 192-207 [doi]

Giving you back control of your data digital signing practical issues and the eCert solutionLisha Chen-Wilson, Andrew M. Gravell, David Argles. worldcis 2011: 93-99 [doi]

Evaluating a web-based information system for managing master of science summer projectsTill Rebenich, Andrew M. Gravell, Thanassis Tiropanis. iticse 2011: 123-127 [doi]

2010

Using Factor Analysis to Generate Clusters of Agile Practices (A Guide for Agile Process Improvement)Noura Abbas, Andrew M. Gravell, Gary B. Wills. agiledc 2010: 11-20 [doi]

The Impact of Organization, Project and Governance Variables on Software Quality and Project SuccessNoura Abbas, Andrew M. Gravell, Gary B. Wills. agiledc 2010: 77-86 [doi]

Agile security issues: an empirical studyAhmed Alnatheer, Andrew M. Gravell, David Argles. esem 2010: [doi]

2008

Academic Administration and Management Scenarios on the Semantic WebFeng (Barry) Tao, Shakeel A. Khoja, Hugh C. Davis, Andrew M. Gravell. icalt 2008: 149-151 [doi]

Historical Roots of Agile Methods: Where Did Agile Thinking Come From?Noura Abbas, Andrew M. Gravell, Gary B. Wills. xpu 2008: 94-103 [doi]

2007

Agile Software AssuranceNoura Abbas, Andrew M. Gravell, Gary B. Wills. xpu 2007: 165-166 [doi]

Verification conditions are codeAndrew M. Gravell. ACTA, 43(6):431-447, 2007. [doi]

2003

The Benefits of Rapid Modelling for E-business System DevelopmentJuan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng. er 2003: 17-28 [doi]

Model-Based Approaches for Validating Business Critical SystemsJuan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel. step 2004: 225-233 [doi]

2002

Extraction of Abstraction Invariants for Data RefinementMarielle Doche, Andrew M. Gravell. zum 2002: 120-139 [doi]

1999

Refinement Semantics and Loop RulesEric C. R. Hehner, Andrew M. Gravell. FM 1999: 1497-1510 [doi]

1996

Executing formal specifications need not be harmfulAndrew M. Gravell, Peter Henderson. iee, 11(2):104-110, 1996. [doi]

1995

Formal Methods and Open SystemsAndrew M. Gravell, Chris H. Pratten. stp, 16(4):183, 1995.

A first order refinement calculusAndrew M. Gravell. PhD thesis, University of Southampton, UK, 1995. [doi]

1992

Constructive Refinement of First Order SpecificationsAndrew M. Gravell. Refine 1992: 181-210 [doi]

1990

What is a Good Formal Specification?Andrew M. Gravell. zum 1991: 137-150

1989

Minimisation in Formal Specification and DesignAndrew M. Gravell. zum 1990: 32-45 [doi]

Sign in or sign up to see more results.

runs on WebDSL