Andrew M. Gravell

According to our database1, Andrew M. Gravell
  • authored at least 24 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Review on the Critical Success Factors of Agile Software Development.
Proceedings of the Systems, Software and Services Process Improvement, 2017

2016
Formal Modelling of Data Integration Systems Security Policies.
Data Science and Engineering, 2016

2014
Exposing data leakage in Data Integration Systems.
Proceedings of the 9th International Conference for Internet Technology and Secured Transactions, 2014

2013
SecureDIS: A framework for secure Data Integration Systems.
Proceedings of the 8th International Conference for Internet Technology and Secured Transactions, 2013

2011
Concurrent Development of Model and Implementation
CoRR, 2011

Model-Based Trace-Checking
CoRR, 2011

Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia.
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.
Proceedings of the 2011 World Congress on Internet Security, 2011

Evaluating a web-based information system for managing master of science summer projects.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

2010
Agile security issues: an empirical study.
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.
Proceedings of the 2010 Agile Conference, 2010

Using Factor Analysis to Generate Clusters of Agile Practices (A Guide for Agile Process Improvement).
Proceedings of the 2010 Agile Conference, 2010

2008
Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008

Academic Administration and Management Scenarios on the Semantic Web.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

2007
Verification conditions are code.
Acta Inf., 2007

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

2003
Model-Based Approaches for Validating Business Critical Systems.
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.
Proceedings of the Conceptual Modeling for Novel Application Domains, 2003

2002
Extraction of Abstraction Invariants for Data Refinement.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

1999
Refinement Semantics and Loop Rules.
Proceedings of the FM'99 - Formal Methods, 1999

1996
Executing formal specifications need not be harmful.
Software Engineering Journal, 1996

1995
A first order refinement calculus.
PhD thesis, 1995

Formal Methods and Open Systems.
Software - Concepts and Tools, 1995

1990
What is a Good Formal Specification?
Proceedings of the Z User Workshop, 1990


  Loading...