Dr Andrew ('Andy') Gravell

Currently Chair of ECS Student Staff Liaison Committee.

Has previously had a number of roles, including Associate Dean for Education and the Student Experience, Faculty of Physical and Applied Sciences from 2010 to 2015.

Born in 1956. Studied maths and computer science at University. Worked as a software developer for 7 years. In 1987 joined ECS, Southampton, as a lecturer in computer science, and then as senior lecturer / associate professor / principal teaching fellow from 2002 onwards. Has supervised and graduated over a dozen PhD students, mostly conducting empirical research into agile software development.

Research

Research interests

Agile Software Development Methods. Computer Science Education.

Teaching

I currently teach E-Business Strategy, and Engineering Management.

Previously I have taught Advanced Operating Systems, Agile Software Development, Applications of IT, Compiler Engineering, Computer Architecture, Discrete Mathematics, Digital Electronics, Formal Methods, Object-Oriented Development, Professional Issues, Programming, Research Methods, Software Engineering, Systems Integration, Theory of Computing, and Web Development.

Publications

Gravell, A. M. and Pratten, C. H. (1998) Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL. Grundy, J. and Newey, M. (eds.) Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings. pp. 73-84 .

Gravell, A. M. and Pratten, C. H. (1998) A Prototype Generic Proof Tool Supporting the Embedding of Formal Notations. Grundy, J. and Newey, M. (eds.) Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings. pp. 63-72 .

Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful. Software Engineering Journal, 11 (2), 104-110.

Hehner, E. C. R. and Gravell, A. M. (1999) Refinement Semantics and Loop Rules. Wing, J. M., Woodcock, J. and Davies, J. (eds.) Proc. FM'99: World Congress on Formal Methods. pp. 1497-1510 .

Gravell, A. M. (1989) Review of Chandy, K.M. and Misra, J. Parallel Program design: A Foundation. International CIS Journal, 3 (1), 70-72.

Gravell, A. M. (1990) Minimisation in Formal Specification and Design. Nicholls, J. E. (ed.) Proc. Z User Workshop. pp. 32-45 .

Gravell, A. M. (1991) What is a Good Formal Specification. Nicholls, J. E. (ed.) Proc. 5th Int. Conf. Annual Z User Meeting. pp. 137-150 .

Gravell, A. M. and Henderson, P (1991) Why Execute Formal Specifications? Neumann, B. De, Simpson, D. and Slater, G. (eds.) Mathematical Structures for Software Engineering. pp. 165-184 .

Gravell, A. M. (1991) Specialising Abstract Programs. Morris, J. M. and Shaw, R. C. (eds.) Proc. Proceedings of the 4th Refinement Workshop. pp. 34-50 .

Gravell, A. M. (1992) Constructive Refinement of First Order Specifications. Proc. Proceedings of the 5th BCS FACS Refinement Workshop. pp. 181-210 .

Gravell, A. M. (1992) 1-2 trees and $\sigma$-trees: balanced structures for random sequential data s.n.

Gravell, A. M. and Pratten, C. H. (1995) Formal Methods and Open Systems. Software-Concepts and Tools, 16, 183-188.

Gravell, A. M. (1995) A First Order Refinement Calculus s.n.

Gravell, Andrew M (2000) Logical Refinement of Imperative Programs: generating code from verified conditions. Gupta, Gopal and Ramakrishnan, I.V. (eds.) Workshop on (Constraint) Logic Programming and Software Engineering LPSE2000. pp. 2-16 .

Augusto, Juan C., Ferreira, Carla, Gravell, Andy M., Leuschel, Michael and NG, Karen M.Y. (2003) The Benefits of Rapid Modelling for E-Business System Development. Jeusfeld, Manfred A. and Pastor, Oscar (eds.) 4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), Chicago, Illinois, United States. 12 - 15 Oct 2003. pp. 17-28 .

Doche, Marielle and Gravell, Andrew M (2002) Extraction of Abstraction Invariants for Data Refinement. Bert, Didier, Bowen, Jonathan P, Henson, Martin C and Robinson, Ken (eds.) ZB 2002, Grenoble. pp. 120-139 .

Howard, Yvonne, Gruner, Stefan, Gravell, Andrew M, Ferreira, Carla and Augusto, Juan-Carlos (2003) Model-Based Trace-Checking. UK Software Testing Research II, University of York.

Gravell, Andrew M, Howard, Yvonne, Augusto, Juan-Carlos, Ferreira, Carla and Gruner, Stefan (2003) Concurrent Development of Model and Implementation. 16th International Conference on Software & Systems Engineering and their Applications, CNAM, Paris.

Gravell, Andrew M (2006) Verification Conditions are Code. Acta Informatica, 43, 431-477.

Augusto, J, Howard, Y, Gravell, A, Ferreira, C, Gruner, S and Leuschel, M (2003) Model-Based Approaches for Validating Business Critical Systems. System Testing and Validation Workshop, The, Netherlands. pp. 225-233 .

Abbas, Noura, Gravell, Andrew M and Wills, Gary B (2007) Agile Software Assurance. PhD Symposium in the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming (XP 2007), Como, Italy. 17 - 21 Jun 2007. pp. 165-166 .

Abbas, Noura, Gravell, Andrew and Wills, Gary (2008) An Empirical Comparison of Two Agile Projects in the Same Organization. Agile 2008 Conference, Toronto, Canada. 03 - 07 Aug 2008.

Tao, Feng, Khoja, Shakeel, Davis, Hugh and Gravell, Andy (2008) Academic administration and management scenarios on the semantic web. Eighth IEEE International Conference on Advanced Learning Technologies (ICALT '08), Santander, Spain. 30 Jun - 04 Jul 2008. pp. 149-151 . (doi:10.1109/ICALT.2008.92).

Abbas, Noura, Gravell, Andrew and Wills, Gary (2008) Historical roots of Agile methods: where did “Agile thinking” come from? Agile Processes and eXtreme programming in Software Engineering, Limerick, Ireland. 09 - 13 Jun 2008. pp. 94-103 . (doi:10.1007/978-3-540-68255-4_10).

Rebenich, Till and Gravell, Andrew M (2008) An Adaptive Time Management System for Student Learning. World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, Vienna, Austria. pp. 5357-5366 .

Chen-Wilson, Lisha, Blowers, Rob, Gravell, Andrew and Argles, David (2009) Towards an secured e-Certificate System for use in e-Portfolios. International conference on Multimedia and Information and Communucation Technologies in Education (m-ICTE 2009), Lisbon, Portugal. 21 - 23 Apr 2009.

Joochim, Tossaporn, Snook, Colin, Poppleton, Mike and Gravell, Andrew (2010) Timing diagrams requirements modeling using Event-B formal methods. IASTED International Conference on Software Engineering (SE2010), Innsbruck, Austria. 16 - 18 Feb 2010.

Rebenich, Till, Gravell, Andrew and Tiropanis, Thanassis (2010) Motivating University Students Using a Location-Aware Time Management System with Social Networking Features. World Conference on Educational Multimedia, Hypermedia & Telecommunications 2010, Toronto, Canada. 27 Jun - 01 Jul 2010.

Rebenich, Till, Gravell, Andrew and Tiropanis, Thanassis (2010) Survey of Students' Technology Use for Time Management. World Conference on Educational Multimedia, Hypermedia & Telecommunications 2010, Toronto, Canada. 27 Jun - 01 Jul 2010.

Abbas, Noura, Gravell, Andy and Wills, Gary (2010) The Impact of Organization, Project and Governance Variables on Software Quality and Project Success. Agile 2010, Orlando, Florida. 08 - 12 Aug 2010.

Abbas, Noura, Gravell, Andy and Wills, Gary (2010) Using Factor Analysis to Generate Clusters of Agile Practices. Agile 2010, Orlando, Florida. 08 - 12 Aug 2010.

Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2010) An Empirical Study: Understanding Factors and Barriers for Implementing Agile Methods in Malaysia. 5th International Doctoral Symposium on Empirical Software Engineering (IDoESE), Bolzano-Bozen, Italy.

Chen-Wilson, Lisha, Gravell, Andrew and Argles, David (2011) Giving You back Control of Your Data: Digital Signing Practical Issues and the eCert Solution. The World Congress on Internet Security (WorldCIS-2011), London, United Kingdom. 21 - 23 Feb 2011.

Rebenich, Till, Gravell, Andrew and Tiropanis, Thanassis (2011) Evaluating a Web-Based Information System for Managing Master of Science Summer Projects. ITiCSE 2011, 16th Annual Conference on Innovation and Technology in Computer Science Education, Darmstadt, Germany. 26 - 28 Jun 2011. pp. 123-127 .

Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2011) Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia. XP2011, 12th International conference on Agile Software Development,, Madrid, Spain. 09 - 12 May 2011. pp. 192-207 .

Chen-Wilson, Lisha, Gilbert, Lester, Wills, Gary, Gravell, Andrew and Argles, David (2011) A User-Centric Approach for Secured eDocument Transmission: Digital Signing Practical Issues and the eCert Solution. International Journal for Information Security Research (IJISR), 1 (3).

Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2012) Emergence of Agile Methods: Perceptions from Software Practitioners in Malaysia. International Conference on Agile and Lean Software Methods (AgileIndia2012), Bengaluru, India. 17 - 19 Feb 2012. (Submitted)

Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2012) Factor Analysis: Investigating Important Aspects for Agile Adoption in Malaysia. International Conference on Agile and Lean Software Methods (AgileIndia2012), Bengaluru, India. 17 - 19 Feb 2012. (Submitted)

Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2012) Toward a Framework for Localisation of Product Software across Organisational Boundaries. (In Press)

Qahtani, Abdulrahman, Gravell, Andrew and Wills, Gary (2012) Toward a framework for software development across organisational boundaries. PhD Symposium in 13th International Conference on Agile Software Development (XP2012), Malmo, Sweden. 20 - 24 May 2012. 4 pp .

Alnatheer, Ahmed, Gravell, Andrew and Argles, David (2010) Agile security issues: a research study. 4th International Symposium on Empirical Software Engineering and Measurement, Bolzano - Bozen, Italy. 15 - 16 Sep 2010. pp. 1-11 .

Alnatheer, Ahmed, Gravell, Andrew and Argles, David (2010) Agile security issues: an empirical study. ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Bolzano - Bozen, Italy. 15 - 16 Sep 2010.

Alnatheer, Ahmed, Gravell, Andrew and Argles, David (2010) Major security issues in Agile software development methodologies. XPDay 2010, London, United Kingdom.

Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2013) Customising software products in distributed software development a model for allocating customisation requirements across organisational boundaries. International Conference on Information Society (i-Society 2013), Toronto, Canada. 23 - 25 Jun 2013.

Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2013) A framework of challenges and key factors for applying agile methods for the development and customisation of software products in distributed projects. International Journal for Digital Society, Special Issue (1/1), 766-773.

Akeel, Fatimah Y., Wills, Gary B. and Gravell, Andrew M. (2013) SecureDIS: A Framework for Secure Data Integration Systems. The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013). pp. 588-593 . (doi:10.1109/ICITST.2013.6750270).

Akeel, Fatimah Y., Wills, Gary and Gravell, Andrew (2014) Exposing data leakage in data integration systems. The 9th International Conference for Internet Technology and Secured Transactions (ICITST-2014), London, United Kingdom. 08 - 10 Dec 2014. 6 pp .

Akeel, Fatmah, Salehi Fathabadi, Asieh, Paci, Federica, Gravell, Andy and Wills, Gary (2016) Formal modelling of data integration systems security policies. Data Science and Engineering, 1 (3), 139-148. (doi:10.1007/s41019-016-0016-y).

Gravell, Andrew, Howard, Yvonne and Aldahmash, Abdullah, M (2017) A review study on the critical success factors of agile software development. EuroSpi 2017, , Ostrava, Czech Republic. 06 - 08 Sep 2017. 10 pp .

Gravell, Andrew, Aldahmash, Abdullah, M. and Howard, Yvonne (2017) Using factor analysis to study the critical success factors of agile software development. ICCSIT 201: 10th International Conference on Computer Science and Information Technology (ICCSIT) 2017, Florence, , Florence, Italy. 23 - 25 Oct 2017. 6 pp .

Altaleb, Abdullah and Gravell, Andrew (2018) Effort estimation across mobile app platforms using Agile processes: a systematic literature review. Journal of Software, 13 (4), 242, [4]. (doi:10.17706/jsw.13.4.242-259).

Aldahmash, Abdullah M. and Gravell, Andrew (2018) Measuring success in agile software development projects: a GQM approach. In ICSEA2018: TheThirteenthInternationalConferenceonSoftwareEngineeringAdvances. IARIA. 7 pp .

Gravell, Andy M. and Gruner, Stefan (2018) On more or less appropriate notions of 'Computation'. South African Computer Journal, 30 (1), 161-181. (doi:10.18489/sacj.v30i1.580).

Bakheet, Eman Madani and Gravell, Andrew M. (2019) Flipped classroom from computer science instructors’ perspectives: a proposed model. In ACM International Conference Proceeding Series. vol. Part F148151, ACM. pp. 131-136 . (doi:10.1145/3318396.3318447).

Altaleb, Abdullah and Gravell, Andrew (2019) An empirical investigation of effort estimation in mobile apps using agile development process. Journal of Software, 14 (8), 356-369. (doi:10.17706/jsw.14.8.356-369).

Altaleb, Abdullah, Altherwi, Muna and Gravell, Andrew (2020) A pair estimation technique of effort estimation in mobile app development for agile process: Case study. In Proceedings of the 2020 3rd International Conference on Information Science and System, ICISS 2020. ACM. pp. 29-37 . (doi:10.1145/3388176.3388212).

Altaleb, Abdullah, Rashed, Altherwi, Muna and Gravell, Andrew (2020) An industrial investigation into effort estimation predictors for mobile app development in agile processes. In ICITM 2020 - 2020 9th International Conference on Industrial Technology and Management. IEEE. pp. 291-296 . (doi:10.1109/ICITM48982.2020.9080362).

Al Hashimi, Hussein and Gravell, Andrew (2019) A critical review of the use of spikes in agile software development. In ICSEA 2019: The Fourteenth International Conference on Software Engineering Advances. IARIA. pp. 154-162 .

Altaleb, Abdullah Rashed, Al Hashimi, Hussein and Gravell, Andrew (2020) A case study validation of the Pair-estimation technique in effort estimation of mobile app development using agile processes. In 2020 10th International Conference on Advanced Computer Information Technologies (ACIT). IEEE. pp. 469-473 . (doi:10.1109/ACIT49673.2020.9208985).

Al Hashimi, Hussein, Altaleb, Abdullah and Gravell, Andrew (2020) An empirical investigation of spikes in agile software development. In ACM Digital Library, Proceedings of the 2020 European Symposium on Software Engineering. ACM. pp. 37-43 . (doi:10.1145/3393822.3432342).

Al Hashimi, Hussein and Gravell, Andrew (2021) Spikes in agile software development: an empirical study. In IEEE Xplore, 2020 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE. pp. 1715-1721 . (doi:10.1109/CSCI51800.2020.00319).

Contact

Telephone: +44 (0) 23 8059 2741

Email: amg@ecs.soton.ac.uk

Share this profile Facebook Twitter Weibo