Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Andy Evans
@article{DBLP:journals/tgis/GulmaEHM19, author = {Usman Lawal Gulma and Andy Evans and Alison J. Heppenstall and Nick Malleson}, title = {Diversity and burglary: Do community differences matter?}, journal = {Trans. {GIS}}, volume = {23}, number = {2}, pages = {181--202}, year = {2019}, url = {https://doi.org/10.1111/tgis.12511}, doi = {10.1111/TGIS.12511}, timestamp = {Thu, 17 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tgis/GulmaEHM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccsa/AdepejuE17, author = {Monsuru Adepeju and Andy Evans}, editor = {Osvaldo Gervasi and Beniamino Murgante and Sanjay Misra and Giuseppe Borruso and Carmelo Maria Torre and Ana Maria A. C. Rocha and David Taniar and Bernady O. Apduhan and Elena N. Stankova and Alfredo Cuzzocrea}, title = {Comparative Analysis of Two Variants of the Knox Test: Inferences from Space-Time Crime Pattern Analysis}, booktitle = {Computational Science and Its Applications - {ICCSA} 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part {VI}}, series = {Lecture Notes in Computer Science}, volume = {10409}, pages = {770--778}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-62407-5\_59}, doi = {10.1007/978-3-319-62407-5\_59}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccsa/AdepejuE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jthtl/Evans14, author = {Andy Evans}, title = {High-Spped Rail in California May be Inevitable: Where Does that Leave Opponents?}, journal = {J. Telecommun. High Technol. Law}, volume = {12}, number = {1}, pages = {163--192}, year = {2014}, url = {http://www.jthtl.org/content/articles/V12I1/JTHTLv12i1\_Evans.PDF}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jthtl/Evans14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EvansLFR14, author = {Andy Evans and Kevin Lano and Robert B. France and Bernhard Rumpe}, title = {Meta-Modeling Semantics of {UML}}, journal = {CoRR}, volume = {abs/1409.6917}, year = {2014}, url = {http://arxiv.org/abs/1409.6917}, eprinttype = {arXiv}, eprint = {1409.6917}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EvansLFR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EvansFLR14, author = {Andy Evans and Robert B. France and Kevin Lano and Bernhard Rumpe}, title = {The {UML} as a Formal Modeling Notation}, journal = {CoRR}, volume = {abs/1409.6919}, year = {2014}, url = {http://arxiv.org/abs/1409.6919}, eprinttype = {arXiv}, eprint = {1409.6919}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EvansFLR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EvansFLR14a, author = {Andy Evans and Robert B. France and Kevin Lano and Bernhard Rumpe}, title = {Developing the {UML} as a Formal Modelling Notation}, journal = {CoRR}, volume = {abs/1409.6928}, year = {2014}, url = {http://arxiv.org/abs/1409.6928}, eprinttype = {arXiv}, eprint = {1409.6928}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EvansFLR14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/simulation/MallesonSEH12, author = {Nick Malleson and Linda M. See and Andy Evans and Alison J. Heppenstall}, title = {Implementing comprehensive offender behaviour in a realistic agent-based model of burglary}, journal = {Simul.}, volume = {88}, number = {1}, pages = {50--71}, year = {2012}, url = {https://doi.org/10.1177/0037549710384124}, doi = {10.1177/0037549710384124}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/simulation/MallesonSEH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mammo/HipwellGWSZLVEBH12, author = {John H. Hipwell and Lewis D. Griffin and Patsy J. Whelehan and Wenlong Song and Xiying Zhang and Jan M. Lesniak and Sarah Vinnicombe and Andy Evans and Jonathan Berg and David J. Hawkes}, editor = {Andrew D. A. Maidment and Predrag R. Bakic and Sara Gavenonis}, title = {Characterizing Breast Phenotype with a Novel Measure of Fibroglandular Structure}, booktitle = {Breast Imaging - 11th International Workshop, {IWDM} 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7361}, pages = {181--188}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31271-7\_24}, doi = {10.1007/978-3-642-31271-7\_24}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mammo/HipwellGWSZLVEBH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wicsa/FaniyiBEK11, author = {Funmilade Faniyi and Rami Bahsoon and Andy Evans and Rick Kazman}, title = {Evaluating Security Properties of Architectures in Unpredictable Environments: {A} Case for Cloud}, booktitle = {9th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA} 2011, Boulder, Colorado, USA, June 20-24, 2011}, pages = {127--136}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/WICSA.2011.25}, doi = {10.1109/WICSA.2011.25}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wicsa/FaniyiBEK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecmdafa/EvansFM09, author = {Andy Evans and Miguel A. Fern{\'{a}}ndez and Parastoo Mohagheghi}, editor = {Richard F. Paige and Alan Hartman and Arend Rensink}, title = {Experiences of Developing a Network Modeling Tool Using the Eclipse Environment}, booktitle = {Model Driven Architecture - Foundations and Applications, 5th European Conference, {ECMDA-FA} 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5562}, pages = {301--312}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02674-4\_22}, doi = {10.1007/978-3-642-02674-4\_22}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ecmdafa/EvansFM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ats/MolaviEC08, author = {Shawn Molavi and Andy Evans and Ray Clancy}, title = {Protocol Aware Test Methodologies Using Today}, booktitle = {17th {IEEE} Asian Test Symposium, {ATS} 2008, Sapporo, Japan, November 24-27, 2008}, pages = {273}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ATS.2008.74}, doi = {10.1109/ATS.2008.74}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ats/MolaviEC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/EvansSWMM05, author = {Andy Evans and Paul Sammut and James S. Willans and Alan Moore and Girish Maskeri Rama}, title = {A Unified Superstructure for {UML}}, journal = {J. Object Technol.}, volume = {4}, number = {1}, pages = {165--182}, year = {2005}, url = {https://doi.org/10.5381/jot.2005.4.1.a6}, doi = {10.5381/JOT.2005.4.1.A6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/EvansSWMM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/ClarkESW04, author = {Tony Clark and Andy Evans and Paul Sammut and James S. Willans}, editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi{-}Presicce and Grzegorz Rozenberg}, title = {Transformation Language Design: {A} Metamodelling Foundation}, booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3256}, pages = {13--21}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30203-2\_3}, doi = {10.1007/978-3-540-30203-2\_3}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gg/ClarkESW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mdafa/AbdullahKPDE04, author = {Mohd Syazwan Abdullah and Chris Kimble and Richard F. Paige and Ian D. Benest and Andy Evans}, editor = {Uwe A{\ss}mann and Mehmet Aksit and Arend Rensink}, title = {Developing a {UML} Profile for Modelling Knowledge-Based Systems}, booktitle = {Model Driven Architecture, European {MDA} Workshops: Foundations and Applications, {MDAFA} 2003 and {MDAFA} 2004, Twente, The Netherlands, June 26-27, 2003 and Link{\"{o}}ping, Sweden, June 10-11, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3599}, pages = {220--233}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11538097\_15}, doi = {10.1007/11538097\_15}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/mdafa/AbdullahKPDE04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/Lobjet/ClarkEMSW03, author = {Tony Clark and Andy Evans and Girish Maskeri Rama and Paul Sammut and James S. Willans}, title = {Modeling Language Transformations}, journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux}, volume = {9}, number = {4}, pages = {31--51}, year = {2003}, url = {https://doi.org/10.3166/objet.9.4.31-51}, doi = {10.3166/OBJET.9.4.31-51}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/Lobjet/ClarkEMSW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/ClarkEK03, author = {Tony Clark and Andy Evans and Stuart Kent}, title = {Aspect-oriented Metamodelling}, journal = {Comput. J.}, volume = {46}, number = {5}, pages = {566--577}, year = {2003}, url = {https://doi.org/10.1093/comjnl/46.5.566}, doi = {10.1093/COMJNL/46.5.566}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/ClarkEK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/MillerEJJKMT03, author = {Granville Miller and Andy Evans and Ivar Jacobson and Henrik Jondell and Allan Kennedy and Stephen J. Mellor and Dave A. Thomas}, editor = {Ron Crocker and Guy L. Steele Jr.}, title = {Model driven architecture: how far have we come, how far can we go?}, booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2003, October 26-30, 2003, Anaheim, CA, {USA}}, pages = {273--274}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/949344.949409}, doi = {10.1145/949344.949409}, timestamp = {Fri, 25 Jun 2021 17:20:20 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/MillerEJJKMT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/ClarkEK02, author = {Tony Clark and Andy Evans and Stuart Kent}, editor = {Ralf{-}Detlef Kutsche and Herbert Weber}, title = {Engineering Modelling Languages: {A} Precise Meta-Modelling Approach}, booktitle = {Fundamental Approaches to Software Engineering, 5th International Conference, {FASE} 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2306}, pages = {159--173}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45923-5\_11}, doi = {10.1007/3-540-45923-5\_11}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/ClarkEK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oois/ClarkEF02, author = {Tony Clark and Andy Evans and Robert B. France}, editor = {Jean{-}Michel Bruel and Zohra Bellahsene}, title = {Object-Oriented Theories for Model Driven Architecture}, booktitle = {Advances in Object-Oriented Information Systems, {OOIS} 2002 Workshops, Montpellier, France, September 2, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2426}, pages = {235--244}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46105-1\_28}, doi = {10.1007/3-540-46105-1\_28}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/oois/ClarkEF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/ClarkEK02, author = {Tony Clark and Andy Evans and Stuart Kent}, editor = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and Heinrich Hu{\ss}mann and Stephen Cook}, title = {A Metamodel for Package Extension with Renaming}, booktitle = {{UML} 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2460}, pages = {305--320}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45800-X\_24}, doi = {10.1007/3-540-45800-X\_24}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uml/ClarkEK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/ocl/ClarkEK02, author = {Tony Clark and Andy Evans and Stuart Kent}, editor = {Tony Clark and Jos Warmer}, title = {A Meta-model Facility for a Family of {UML} Constraint Languages}, booktitle = {Object Modeling with the OCL, The Rationale behind the Object Constraint Language}, series = {Lecture Notes in Computer Science}, volume = {2263}, pages = {4--20}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45669-4\_2}, doi = {10.1007/3-540-45669-4\_2}, timestamp = {Wed, 23 Feb 2022 12:58:08 +0100}, biburl = {https://dblp.org/rec/conf/ocl/ClarkEK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/Lobjet/ClarkEK01, author = {Tony Clark and Andy Evans and Stuart Kent}, title = {The specification of a reference implementation for the Unified Modeling Language}, journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux}, volume = {7}, number = {1}, year = {2001}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/Lobjet/ClarkEK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/ClarkEK01, author = {Tony Clark and Andy Evans and Stuart Kent}, editor = {Heinrich Hu{\ss}mann}, title = {The Metamodelling Language Calculus: Foundation Semantics for {UML}}, booktitle = {Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2029}, pages = {17--31}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45314-8\_3}, doi = {10.1007/3-540-45314-8\_3}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/ClarkEK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/AlvarezCES01, author = {Jos{\'{e}} M. {\'{A}}lvarez and Tony Clark and Andy Evans and Paul Sammut}, editor = {Martin Gogolla and Cris Kobryn}, title = {An Action Semantics for {MML}}, booktitle = {{\guillemotleft}UML{\guillemotright} 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2185}, pages = {2--18}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45441-1\_2}, doi = {10.1007/3-540-45441-1\_2}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uml/AlvarezCES01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/AlvarezES01, author = {Jos{\'{e}} M. {\'{A}}lvarez and Andy Evans and Paul Sammut}, editor = {Martin Gogolla and Cris Kobryn}, title = {Mapping between Levels in the Metamodel Architecture}, booktitle = {{\guillemotleft}UML{\guillemotright} 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2185}, pages = {34--46}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45441-1\_4}, doi = {10.1007/3-540-45441-1\_4}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uml/AlvarezES01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/uml/2001p, editor = {Andy Evans and Robert B. France and Ana M. D. Moreira and Bernhard Rumpe}, title = {Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the {\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto, Canada}, series = {{LNI}}, volume = {{P-7}}, publisher = {{GI}}, year = {2001}, url = {https://dl.gi.de/handle/20.500.12116/30848}, isbn = {3-88579-335-0}, timestamp = {Tue, 12 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uml/2001p.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/room/LanoBE00, author = {Kevin Lano and Juan Bicarregui and Andy Evans}, title = {Structured Axiomatic Semantics for {UML} Models}, booktitle = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January 2000}, series = {Workshops in Computing}, publisher = {{BCS}}, year = {2000}, url = {http://ewic.bcs.org/content/ConWebDoc/4211}, timestamp = {Wed, 11 Jun 2014 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/room/LanoBE00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/uml/2000, editor = {Andy Evans and Stuart Kent and Bran Selic}, title = {{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1939}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-40011-7}, doi = {10.1007/3-540-40011-7}, timestamp = {Mon, 24 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uml/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/KentER99, author = {Stuart Kent and Andy Evans and Bernhard Rumpe}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {{UML} Semantics {FAQ}}, booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1743}, pages = {33--56}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46589-8\_3}, doi = {10.1007/3-540-46589-8\_3}, timestamp = {Mon, 15 Jun 2020 17:08:35 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/KentER99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/RumpeKEF99, author = {Bernhard Rumpe and Stuart Kent and Andy Evans and Robert B. France}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {What Does the Term \emph{Semantics} Mean in the Context of {UML}}, booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1743}, pages = {34--36}, publisher = {Springer}, year = {1999}, timestamp = {Mon, 24 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/RumpeKEF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/KentREF99, author = {Stuart Kent and Bernhard Rumpe and Andy Evans and Robert B. France}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {Is a Precise Semantics Desirable? For What Purpose?}, booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1743}, pages = {37--40}, publisher = {Springer}, year = {1999}, timestamp = {Mon, 24 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/KentREF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/EvansFGHS99, author = {Andy Evans and Robert B. France and Guy Genilloud and Brian Henderson{-}Sellers and Perdita Stevens}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {Aggregation}, booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1743}, pages = {55--56}, publisher = {Springer}, year = {1999}, timestamp = {Mon, 22 Apr 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/EvansFGHS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/LanoE99, author = {Kevin Lano and Andy Evans}, editor = {Jean{-}Pierre Finance}, title = {Rigorous Development in {UML}}, booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1577}, pages = {129--144}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-540-49020-3\_9}, doi = {10.1007/978-3-540-49020-3\_9}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/LanoE99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/EvansK99, author = {Andy Evans and Stuart Kent}, editor = {Robert B. France and Bernhard Rumpe}, title = {Core Meta-Modelling Semantics of {UML:} The pUML Approach}, booktitle = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1723}, pages = {140--155}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46852-8\_11}, doi = {10.1007/3-540-46852-8\_11}, timestamp = {Mon, 24 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uml/EvansK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/EvansFLR99, author = {Andy Evans and Robert B. France and Kevin Lano and Bernhard Rumpe}, editor = {Haim Kilov and Bernhard Rumpe and Ian Simmonds}, title = {Meta-Modelling Semantics of {UML}}, booktitle = {Behavioral Specifications of Businesses and Systems}, series = {The Kluwer International Series in Engineering and Computer Science}, volume = {523}, pages = {45--60}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-1-4615-5229-1\_4}, doi = {10.1007/978-1-4615-5229-1\_4}, timestamp = {Tue, 26 Jun 2018 16:12:55 +0200}, biburl = {https://dblp.org/rec/books/daglib/p/EvansFLR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csi/FranceELR98, author = {Robert B. France and Andy Evans and Kevin Lano and Bernhard Rumpe}, title = {The {UML} as a formal modeling notation}, journal = {Comput. Stand. Interfaces}, volume = {19}, number = {7}, pages = {325--334}, year = {1998}, url = {https://doi.org/10.1016/S0920-5489(98)00020-8}, doi = {10.1016/S0920-5489(98)00020-8}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csi/FranceELR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/EvansFLR98, author = {Andy Evans and Robert B. France and Kevin Lano and Bernhard Rumpe}, editor = {Jean B{\'{e}}zivin and Pierre{-}Alain Muller}, title = {The {UML} as a Formal Modeling Notation}, booktitle = {The Unified Modeling Language, {\guillemotleft}UML{\guillemotright}'98: Beyond the Notation, First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1618}, pages = {336--348}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-540-48480-6\_26}, doi = {10.1007/978-3-540-48480-6\_26}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/uml/EvansFLR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Evans97, author = {Andy Evans}, editor = {Jonathan P. Bowen and Michael G. Hinchey and David Till}, title = {An Improved Recipe for Specifying Reactive Systems in {Z}}, booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1212}, pages = {275--294}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0027293}, doi = {10.1007/BFB0027293}, timestamp = {Thu, 14 Oct 2021 10:43:56 +0200}, biburl = {https://dblp.org/rec/conf/zum/Evans97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BryantESMSNS95, author = {Tony Bryant and Andy Evans and Lesley Semmens and Rajko Milovanovic and Sinclair Guillaume Stockman and Mark T. Norris and Clive Selley}, editor = {Jonathan P. Bowen and Michael G. Hinchey}, title = {Using {Z} to Rigorously Review a Specification of a Network Management System}, booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {967}, pages = {423--433}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60271-2\_134}, doi = {10.1007/3-540-60271-2\_134}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/zum/BryantESMSNS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/BryantE94, author = {Tony Bryant and Andy Evans}, title = {{OO} oversold : Those objects of obscure desire}, journal = {Inf. Softw. Technol.}, volume = {36}, number = {1}, pages = {35--42}, year = {1994}, url = {https://doi.org/10.1016/0950-5849(94)90006-X}, doi = {10.1016/0950-5849(94)90006-X}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/BryantE94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/Evans94, author = {Andy Evans}, editor = {Maurice Naftalin and B. Tim Denvir and Miquel Bertran}, title = {Specifying {\&} Verifying Concurrent Systems Using {Z}}, booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {873}, pages = {366--380}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58555-9\_105}, doi = {10.1007/3-540-58555-9\_105}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/Evans94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Evans94, author = {Andy Evans}, editor = {Jonathan P. Bowen and J. Anthony Hall}, title = {Visualising Concurrent {Z} Specifications}, booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings}, series = {Workshops in Computing}, pages = {269--281}, publisher = {Springer/BCS}, year = {1994}, url = {https://doi.org/10.1007/978-1-4471-3452-7\_16}, doi = {10.1007/978-1-4471-3452-7\_16}, timestamp = {Mon, 24 Jun 2019 12:03:37 +0200}, biburl = {https://dblp.org/rec/conf/zum/Evans94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.