Travelled to:1 × Canada
1 × Germany
1 × Spain
2 × France
2 × Italy
2 × The Netherlands
2 × USA
Collaborated with:S.Kent T.Clark P.Sammut K.Lano J.M.Álvarez ∅ M.A.Fernández P.Mohagheghi F.Faniyi R.Bahsoon R.Kazman J.S.Willans R.B.France B.Rumpe
Talks about:model (5) metamodel (4) uml (4) languag (3) semant (3) architectur (2) approach (2) foundat (2) environ (2) develop (2)
Person: Andy Evans
DBLP: Evans:Andy
Facilitated 1 volumes:
EdContributed to:
2011
2009
2004
2002200220012001199919991998
1994Wrote 12 papers:
- WICSA-2011-FaniyiBEK #architecture #predict #security
- Evaluating Security Properties of Architectures in Unpredictable Environments: A Case for Cloud (FF, RB, AE, RK), pp. 127–136.
- ECMDA-FA-2009-EvansFM #case study #eclipse #experience #modelling #network #using
- Experiences of Developing a Network Modeling Tool Using the Eclipse Environment (AE, MAF, PM), pp. 301–312.
- ICGT-2004-ClarkESW #design #metamodelling #model transformation #transformation language
- Transformation Language Design: A Metamodelling Foundation (TC, AE, PS, JSW), pp. 13–21.
- FASE-2002-ClarkEK #approach #metamodelling #modelling #precise
- Engineering Modelling Languages: A Precise Meta-Modelling Approach (TC, AE, SK), pp. 159–173.
- UML-2002-ClarkEK #metamodelling
- A Metamodel for Package Extension with Renaming (TC, AE, SK), pp. 305–320.
- FASE-2001-ClarkEK #calculus #metamodelling #semantics #uml
- The Metamodelling Language Calculus: Foundation Semantics for UML (TC, AE, SK), pp. 17–31.
- UML-2001-AlvarezCES #action semantics #semantics
- An Action Semantics for MML (JMÁ, TC, AE, PS), pp. 2–18.
- UML-2001-AlvarezES #architecture #metamodelling
- Mapping between Levels in the Metamodel Architecture (JMÁ, AE, PS), pp. 34–46.
- FASE-1999-LanoE #development #uml
- Rigorous Development in UML (KL, AE), pp. 129–144.
- UML-1999-EvansK #approach #metamodelling #semantics #uml
- Core Meta-Modelling Semantics of UML: The pUML Approach (AE, SK), pp. 140–155.
- UML-1998-EvansFLR #formal method #modelling #uml
- The UML as a Formal Modeling Notation (AE, RBF, KL, BR), pp. 336–348.
- FME-1994-Evans #concurrent #specification #using #verification
- Specifying & Verifying Concurrent Systems Using Z (AE), pp. 366–380.