Andy Evans

Orcid: 0000-0002-3524-1571

According to our database1, Andy Evans authored at least 38 papers between 1994 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Diversity and burglary: Do community differences matter?
Trans. GIS, 2019

2017
Comparative Analysis of Two Variants of the Knox Test: Inferences from Space-Time Crime Pattern Analysis.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

2014
High-Spped Rail in California May be Inevitable: Where Does that Leave Opponents?
J. Telecommun. High Technol. Law, 2014

Meta-Modeling Semantics of UML.
CoRR, 2014

Developing the UML as a Formal Modelling Notation.
CoRR, 2014

2012
Implementing comprehensive offender behaviour in a realistic agent-based model of burglary.
Simul., 2012

Characterizing Breast Phenotype with a Novel Measure of Fibroglandular Structure.
Proceedings of the Breast Imaging, 2012

2011
Evaluating Security Properties of Architectures in Unpredictable Environments: A Case for Cloud.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

2009
Experiences of Developing a Network Modeling Tool Using the Eclipse Environment.
Proceedings of the Model Driven Architecture, 2009

2008
Protocol Aware Test Methodologies Using Today.
Proceedings of the 17th IEEE Asian Test Symposium, 2008

2005
A Unified Superstructure for UML.
J. Object Technol., 2005

2004
Developing a UML Profile for Modelling Knowledge-Based Systems.
Proceedings of the Model Driven Architecture, 2004

Transformation Language Design: A Metamodelling Foundation.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
Aspect-oriented Metamodelling.
Comput. J., 2003

Modeling Language Transformations.
Obj. Logiciel Base données Réseaux, 2003

Model driven architecture: how far have we come, how far can we go?
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

2002
A Metamodel for Package Extension with Renaming.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Object-Oriented Theories for Model Driven Architecture.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

A Meta-model Facility for a Family of UML Constraint Languages.
Proceedings of the Object Modeling with the OCL, 2002

Engineering Modelling Languages: A Precise Meta-Modelling Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
The specification of a reference implementation for the Unified Modeling Language.
Obj. Logiciel Base données Réseaux, 2001

Mapping between Levels in the Metamodel Architecture.
Proceedings of the «UML» 2001, 2001

An Action Semantics for MML.
Proceedings of the «UML» 2001, 2001

The Metamodelling Language Calculus: Foundation Semantics for UML.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Structured Axiomatic Semantics for UML Models.
Proceedings of the Rigorous Object-Oriented Methods, 2000

1999
Core Meta-Modelling Semantics of UML: The pUML Approach.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Rigorous Development in UML.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

What Does the Term <i>Semantics</i> Mean in the Context of UML.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Is a Precise Semantics Desirable? For What Purpose?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

UML Semantics FAQ.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Aggregation.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Meta-Modelling Semantics of UML.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
The UML as a formal modeling notation.
Comput. Stand. Interfaces, 1998

1997
An Improved Recipe for Specifying Reactive Systems in Z.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1995
Using Z to Rigorously Review a Specification of a Network Management System.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994
OO oversold : Those objects of obscure desire.
Inf. Softw. Technol., 1994

Visualising Concurrent Z Specifications.
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Specifying & Verifying Concurrent Systems Using Z.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994


  Loading...