Andrew M. Gravell

31 papers A 1B 5Journal 10Unranked 14

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