The University of Southampton
Warning! Your browser is out-of-date and not compatible with this website. Please download a new secure and faster browser to view this website correctly.
Telephone:
+442380592741
Email:
amg@ecs.soton.ac.uk

Dr Andrew M Gravell (aka Andy Gravell)

Academic Staff

Born 1956 in Exeter, UK.  Studied maths and computer science at cambridge.  Worked as a software developer for 7 years, mostly at IBM's hursley laboratory, working on a range of projects writing software for microprocessor-based systems.  In 1987 joined ECS, Southampton, as a lecturer in computer science, promoted to senior lecturer / associate professor in 2002.  Associate Dean for Education and the Student Experience, Faculty of Physical and Applied Sciences from 2010 to 2015.

Research

Research interests

My research interests include: public understanding of computer science; computer science education; and the computer science pipeline.  I have supervised a number of students and published on a range of approaches to software development; empirical approaches to software development; agile methods; and lean information technology.  I am also interested in technology enhanced education; academic infrastructure; and e-administration in Higher Education.

Projects

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.) At 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.) At 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 J., 11, (2), pp. 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.) At 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), pp. 70-72.

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

Gravell, A. M., (1991) What is a Good Formal Specification Nicholls, J. E. (ed.) At 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.) At Mathematical Structures for Software Engineering. , pp. 165-184.

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

Gravell, A. M. (1992) Constructive Refinement of First Order Specifications At 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, pp. 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.) At 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.) At 4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), United States. 13 - 16 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.) At ZB 2002. , pp. 120-139.

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

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

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

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

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

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

Tao, Feng, Khoja, Shakeel, Davis, Hugh and Gravell, Andy (2008) Academic administration and management scenarios on the semantic web At Eighth IEEE International Conference on Advanced Learning Technologies (ICALT '08), Spain. 01 - 05 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? At Agile Processes and eXtreme programming in Software Engineering, Ireland. 10 - 14 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 At World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, 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 At International conference on Multimedia and Information and Communucation Technologies in Education (m-ICTE 2009), Portugal. 22 - 24 Apr 2009.

Joochim, Tossaporn, Snook, Colin, Poppleton, Mike and Gravell, Andrew (2010) TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS At IASTED International Conference on Software Engineering (SE2010), 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 At World Conference on Educational Multimedia, Hypermedia & Telecommunications 2010, Canada. 28 Jun - 02 Jul 2010.

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

Abbas, Noura, Gravell, Andy and Wills, Gary (2010) The Impact of Organization, Project and Governance Variables on Software Quality and Project Success At Agile 2010. 09 - 13 Aug 2010.

Abbas, Noura, Gravell, Andy and Wills, Gary (2010) Using Factor Analysis to Generate Clusters of Agile Practices At Agile 2010. 09 - 13 Aug 2010.

Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2010) An Empirical Study: Understanding Factors and Barriers for Implementing Agile Methods in Malaysia At 5th International Doctoral Symposium on Empirical Software Engineering (IDoESE), 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 At The World Congress on Internet Security (WorldCIS-2011), 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 At ITiCSE 2011, 16th Annual Conference on Innovation and Technology in Computer Science Education, Germany. 27 - 29 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 At XP2011, 12th International conference on Agile Software Development,, Spain. 10 - 13 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 At International Conference on Agile and Lean Software Methods (AgileIndia2012), India. 17 - 19 Feb 2012.

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

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

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

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

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

Alnatheer, Ahmed, Gravell, Andrew and Argles, David (2010) Major security issues in Agile software development methodologies At XPDay 2010, 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 At International Conference on Information Society (i-Society 2013), Canada. 24 - 26 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 of Digital Society, Special Issue, (1/1), pp. 766-773.

Akeel, Fatimah Y., Wills, Gary B. and Gravell, Andrew M. (2013) SecureDIS: A Framework for Secure Data Integration Systems At The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013). 690 pp, 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 At The 9th International Conference for Internet Technology and Secured Transactions (ICITST-2014), 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), pp. 139-148. (doi:10.1007/s41019-016-0016-y).

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×