publications:
- title: "Refinement via Consistency Checking in MDA"
  author:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.029"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.029"
  tags:
  - "refinement"
  - "C++"
  - "consistency"
  researchr: "https://researchr.org/publication/PaigeKP05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "137"
  number: "2"
  pages: "151-161"
  kind: "article"
  key: "PaigeKP05"
- title: "The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering"
  author:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Nikolaos Drivalos"
    link: "https://researchr.org/alias/nikolaos-drivalos"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICECCS.2009.14"
  links:
    doi: "http://dx.doi.org/10.1109/ICECCS.2009.14"
  tags:
  - "meta-model"
  - "modeling language"
  - "language engineering"
  - "language modeling"
  - "language design"
  - "model-driven engineering"
  - "C++"
  - "Meta-Environment"
  - "design"
  researchr: "https://researchr.org/publication/PaigeKRDP09"
  cites: 0
  citedby: 0
  pages: "162-171"
  booktitle: "ICECCS"
  kind: "inproceedings"
  key: "PaigeKRDP09"
- title: "A Formal Template Language Enabling Metaproof"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11813040_18"
  links:
    doi: "http://dx.doi.org/10.1007/11813040_18"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AmalioSP06"
  cites: 0
  citedby: 0
  pages: "252-267"
  booktitle: "FM"
  kind: "inproceedings"
  key: "AmalioSP06"
- title: "Effective Security Requirements Analysis: HAZOP and Use Cases"
  author:
  - name: "Thitima Srivatanakul"
    link: "https://researchr.org/alias/thitima-srivatanakul"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3225&spage=416"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3225&spage=416"
  tags:
  - "analysis"
  - "C++"
  - "security"
  researchr: "https://researchr.org/publication/SrivatanakulCP04"
  cites: 0
  citedby: 0
  pages: "416-427"
  booktitle: "iiswc"
  kind: "inproceedings"
  key: "SrivatanakulCP04"
- title: "An action semantics for MOF 2.0"
  author:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1141277.1141579"
  links:
    doi: "http://doi.acm.org/10.1145/1141277.1141579"
  tags:
  - "semantics"
  - " action semantics"
  - "C++"
  researchr: "https://researchr.org/publication/PaigeKP06"
  cites: 0
  citedby: 0
  pages: "1304-1305"
  booktitle: "SAC"
  kind: "inproceedings"
  key: "PaigeKP06"
- title: "In Search of Sound  in silico  Research - Validating a Complex System Simulation"
  author:
  - name: "Teodor Ghetiu"
    link: "https://researchr.org/alias/teodor-ghetiu"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "James L. Bown"
    link: "https://researchr.org/alias/james-l.-bown"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICECCS.2010.31"
  links:
    doi: "http://dx.doi.org/10.1109/ICECCS.2010.31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/GhetiuPB10"
  tags:
  - "C++"
  - "search"
  researchr: "https://researchr.org/publication/GhetiuPB10"
  cites: 0
  citedby: 0
  pages: "312"
  booktitle: "ICECCS"
  kind: "inproceedings"
  key: "GhetiuPB10"
- title: "Taming EMF and GMF Using Model Transformation"
  author:
  - name: "Kolovos"
    link: "https://researchr.org/alias/kolovos"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Abid"
    link: "https://researchr.org/alias/abid"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Botterweck"
    link: "https://researchr.org/alias/botterweck"
  year: "2010"
  tags:
  - "model-to-model transformation"
  - "meta-model"
  - "EMF"
  - "source-to-source"
  - "C++"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/Kolovos%3AMoDELS%3A2010"
  cites: 0
  citedby: 0
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "Kolovos:MoDELS:2010"
- title: "Merging Models with the Epsilon Merging Language (EML)"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11880240_16"
  links:
    doi: "http://dx.doi.org/10.1007/11880240_16"
  tags:
  - "modeling language"
  - "language modeling"
  - "C++"
  - "Epsilon"
  researchr: "https://researchr.org/publication/KolovosPP06"
  cites: 0
  citedby: 0
  pages: "215-229"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "KolovosPP06"
- title: "Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment"
  author:
  - name: "Xiaocheng Ge"
    link: "https://researchr.org/alias/xiaocheng-ge"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A9gine-laleau"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3084&spage=234"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3084&spage=234"
  tags:
  - "meta-model"
  - "analysis"
  - "C++"
  - "database"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/GePL04"
  cites: 0
  citedby: 0
  pages: "234-247"
  booktitle: "caise"
  kind: "inproceedings"
  key: "GePL04"
- title: "An Agile and Extensible Code Generation Framework"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11499053_33"
  links:
    doi: "http://dx.doi.org/10.1007/11499053_33"
  tags:
  - "C++"
  - "code generation"
  researchr: "https://researchr.org/publication/KolovosPP05"
  cites: 0
  citedby: 0
  pages: "226-229"
  booktitle: "xpu"
  kind: "inproceedings"
  key: "KolovosPP05"
- title: "Deviational Analyses for Validating Regulations on Real Systems"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Thitima Srivatanakul"
    link: "https://researchr.org/alias/thitima-srivatanakul"
  - name: "Tim Kelly"
    link: "https://researchr.org/alias/tim-kelly"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  year: "2006"
  doi: "http://ceur-ws.org/Vol-241/paper5.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-241/paper5.pdf"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackSKC06"
  cites: 0
  citedby: 0
  booktitle: "caise"
  kind: "inproceedings"
  key: "PolackSKC06"
- title: "The SAZ Project: Integrating SSADM and Z."
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Mark Whiston"
    link: "https://researchr.org/alias/mark-whiston"
  - name: "Keith Mander"
    link: "https://researchr.org/alias/keith-mander"
  year: "1993"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackWM93"
  cites: 0
  citedby: 0
  pages: "541-557"
  booktitle: "FM"
  kind: "inproceedings"
  key: "PolackWM93"
- title: "Constructing and Navigating Non-invasive Model Decorations"
  author:
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Nikolaos Drivalos Matragkas"
    link: "https://researchr.org/alias/nikolaos-drivalos-matragkas"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Kiran Jude Fernandes"
    link: "https://researchr.org/alias/kiran-jude-fernandes"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13688-7_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13688-7_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmt/KolovosRMPPF10"
  tags:
  - "meta-model"
  - "model"
  - "model decoration"
  - "C++"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KolovosRMPPF10"
  cites: 0
  citedby: 0
  pages: "138-152"
  booktitle: "ICMT"
  kind: "inproceedings"
  key: "KolovosRMPPF10"
- title: "Specification of integrity-preserving operations in information systems by using a formal UML-based language"
  author:
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A9gine-laleau"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2001"
  tags:
  - "UML"
  - "C++"
  researchr: "https://researchr.org/publication/LaleauP01"
  cites: 0
  citedby: 0
  journal: "INFSOF"
  volume: "43"
  number: "12"
  pages: "693-704"
  kind: "article"
  key: "LaleauP01"
- title: "Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z"
  author:
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Ian Toyn"
    link: "https://researchr.org/alias/ian-toyn"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510020.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510020.htm"
  tags:
  - "refactoring"
  - "C++"
  researchr: "https://researchr.org/publication/StepneyPT03a"
  cites: 0
  citedby: 0
  pages: "20-39"
  booktitle: "zum"
  kind: "inproceedings"
  key: "StepneyPT03a"
- title: "The Epsilon Object Language (EOL)"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11787044_11"
  links:
    doi: "http://dx.doi.org/10.1007/11787044_11"
  tags:
  - "meta-model"
  - "C++"
  - "Epsilon"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KolovosPP06%3A0"
  cites: 0
  citedby: 0
  pages: "128-142"
  booktitle: "ECMDA-FA"
  kind: "inproceedings"
  key: "KolovosPP06:0"
- title: "Extreme Programming Security Practices"
  author:
  - name: "Xiaocheng Ge"
    link: "https://researchr.org/alias/xiaocheng-ge"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Phillip J. Brooke"
    link: "https://researchr.org/alias/phillip-j.-brooke"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73101-6_42"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73101-6_42"
  tags:
  - "extreme programming"
  - "C++"
  - "security"
  - "programming"
  researchr: "https://researchr.org/publication/GePPB07"
  cites: 0
  citedby: 0
  pages: "226-230"
  booktitle: "xpu"
  kind: "inproceedings"
  key: "GePPB07"
- title: "The Grand Challenge of Scalability for Model Driven Engineering"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_5"
  tags:
  - "meta-model"
  - "model-driven engineering"
  - "C++"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KolovosPP08%3A1"
  cites: 0
  citedby: 0
  pages: "48-53"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "KolovosPP08:1"
- title: "Challenging Formal Specifications by Mutation: a CSP security example"
  author:
  - name: "Thitima Srivatanakul"
    link: "https://researchr.org/alias/thitima-srivatanakul"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110340abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110340abs.htm"
  tags:
  - "C++"
  - "security"
  researchr: "https://researchr.org/publication/SrivatanakulCSP03"
  cites: 0
  citedby: 0
  pages: "340"
  booktitle: "apsec"
  kind: "inproceedings"
  key: "SrivatanakulCSP03"
- title: "Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering"
  author:
  - name: "Nurulhuda Firdaus Mohd Azmi"
    link: "https://researchr.org/alias/nurulhuda-firdaus-mohd-azmi"
  - name: "Jon Timmis"
    link: "https://researchr.org/alias/jon-timmis"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICECCS.2010.62"
  links:
    doi: "http://dx.doi.org/10.1109/ICECCS.2010.62"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/AzmiTP10"
  tags:
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/AzmiTP10"
  cites: 0
  citedby: 0
  pages: "315-316"
  booktitle: "ICECCS"
  kind: "inproceedings"
  key: "AzmiTP10"
- title: "Refactoring in maintenance and development of Z specifications"
  author:
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Ian Toyn"
    link: "https://researchr.org/alias/ian-toyn"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#008"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#008"
  tags:
  - "refactoring"
  - "maintenance"
  - "C++"
  researchr: "https://researchr.org/publication/StepneyPT02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "70"
  number: "3"
  pages: "50-69"
  kind: "article"
  key: "StepneyPT02"
- title: "Formal Analysis in Model Management: Exploiting the Power of CZT"
  author:
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11811-1_46"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11811-1_46"
  tags:
  - "analysis"
  - "C++"
  researchr: "https://researchr.org/publication/WilliamsPP10"
  cites: 0
  citedby: 0
  pages: "414"
  booktitle: "asm"
  kind: "inproceedings"
  key: "WilliamsPP10"
- title: "A Comparison of Model Migration Tools"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Markus Herrmannsdörfer"
    link: "http://www4.in.tum.de/~herrmama/"
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Kelly Garcés"
    link: "https://researchr.org/alias/kelly-garc%C3%A9s"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/RoseHWKGPP10"
  tags:
  - "meta-model"
  - "C++"
  - "migration"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/RoseHWKGPP10"
  cites: 0
  citedby: 0
  pages: "61-75"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "RoseHWKGPP10"
- title: "Neutral Emergence and Coarse Graining"
  author:
  - name: "Andrew Weeks"
    link: "https://researchr.org/alias/andrew-weeks"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74913-4_113"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74913-4_113"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/WeeksSP07"
  cites: 0
  citedby: 0
  pages: "1131-1140"
  booktitle: "ecal"
  kind: "inproceedings"
  key: "WeeksSP07"
- title: "Systems Development Using Z Generics"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091048.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091048.htm"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackS99"
  cites: 0
  citedby: 0
  pages: "1048-1067"
  booktitle: "FM"
  kind: "inproceedings"
  key: "PolackS99"
- title: "On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages"
  author:
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11447-2_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11447-2_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/KolovosPP09"
  tags:
  - "OCL"
  - "modeling language"
  - "language modeling"
  - "constraints"
  - "C++"
  researchr: "https://researchr.org/publication/KolovosPP09"
  cites: 0
  citedby: 0
  pages: "204-218"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "KolovosPP09"
- title: "A case study using lightweight formalism to review an information system specification"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2001"
  tags:
  - "case study"
  - "C++"
  - "reviewing"
  researchr: "https://researchr.org/publication/Polack01"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "31"
  number: "8"
  pages: "757-780"
  kind: "article"
  key: "Polack01"
- title: "Concordance: A Framework for Managing Model Integrity"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Nikolaos Drivalos"
    link: "https://researchr.org/alias/nikolaos-drivalos"
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Kiran Jude Fernandes"
    link: "https://researchr.org/alias/kiran-jude-fernandes"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13595-8_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13595-8_20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecmdafa/RoseKDWPPF10"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/RoseKDWPPF10"
  cites: 0
  citedby: 0
  pages: "245-260"
  booktitle: "ECMDA-FA"
  kind: "inproceedings"
  key: "RoseKDWPPF10"
- title: "An Architecture for Modelling Emergence in CA-Like Systems"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Heather R. Turner"
    link: "https://researchr.org/alias/heather-r.-turner"
  - name: "Peter H. Welch"
    link: "https://researchr.org/alias/peter-h.-welch"
  - name: "Fred R. M. Barnes"
    link: "https://researchr.org/alias/fred-r.-m.-barnes"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11553090_44"
  links:
    doi: "http://dx.doi.org/10.1007/11553090_44"
  tags:
  - "architecture"
  - "C++"
  researchr: "https://researchr.org/publication/PolackSTWB05"
  cites: 0
  citedby: 0
  pages: "433-442"
  booktitle: "ecal"
  kind: "inproceedings"
  key: "PolackSTWB05"
- title: "Enhanced Automation for Managing Model and Metamodel Inconsistency"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/RoseKPP09"
  cites: 0
  citedby: 0
  pages: "545-549"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "RoseKPP09"
- title: "An Outline Pattern Language for Z: Five Illustrations and Two Tables"
  author:
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Ian Toyn"
    link: "https://researchr.org/alias/ian-toyn"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510002.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510002.htm"
  tags:
  - "pattern language"
  - "C++"
  researchr: "https://researchr.org/publication/StepneyPT03"
  cites: 0
  citedby: 0
  pages: "2-19"
  booktitle: "zum"
  kind: "inproceedings"
  key: "StepneyPT03"
- title: "Migrating Activity Diagrams with Epsilon Flock"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitrios Kolovos"
    link: "https://researchr.org/alias/dimitrios-kolovos"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  links:
    "url": "http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/submissions/final/flock.pdf"
  tags:
  - "C++"
  - "Epsilon"
  researchr: "https://researchr.org/publication/louisrosemigratingTTC2010"
  cites: 0
  citedby: 0
  booktitle: "TTC"
  kind: "inproceedings"
  key: "louisrosemigratingTTC2010"
- title: "A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems"
  author:
  - name: "Regine Laleau"
    link: "https://researchr.org/alias/regine-laleau"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2068/20680402.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2068/20680402.htm"
  tags:
  - "UML"
  - "C++"
  - "information models"
  researchr: "https://researchr.org/publication/LaleauP01%3A0"
  cites: 0
  citedby: 0
  pages: "402-416"
  booktitle: "caise"
  kind: "inproceedings"
  key: "LaleauP01:0"
- title: "Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510339.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510339.htm"
  tags:
  - "UML"
  - "C++"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AmalioP03"
  cites: 0
  citedby: 0
  pages: "339-358"
  booktitle: "zum"
  kind: "inproceedings"
  key: "AmalioP03"
- title: "Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Jing Zhang"
    link: "https://researchr.org/alias/jing-zhang"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87603-8_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87603-8_25"
  tags:
  - "case study"
  - "composition"
  - "C++"
  researchr: "https://researchr.org/publication/AmalioPZ08"
  cites: 0
  citedby: 0
  pages: "323-336"
  booktitle: "asmta"
  kind: "inproceedings"
  key: "AmalioPZ08"
- title: "Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/42"
  links:
    doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/42"
  tags:
  - "OCL"
  - "modeling language"
  - "language modeling"
  - "C++"
  - "query language"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KolovosPP06%3A1"
  cites: 0
  citedby: 0
  journal: "eceasst"
  volume: "5"
  kind: "article"
  key: "KolovosPP06:1"
- title: "Taming EMF and GMF Using Model Transformation"
  author:
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Saad bin Abid"
    link: "https://researchr.org/alias/saad-bin-abid"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Goetz Botterweck"
    link: "https://researchr.org/alias/goetz-botterweck"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/KolovosRAPPB10"
  tags:
  - "model-to-model transformation"
  - "meta-model"
  - "EMF"
  - "source-to-source"
  - "C++"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/KolovosRAPPB10"
  cites: 0
  citedby: 0
  pages: "211-225"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "KolovosRAPPB10"
- title: "Self-organisation for Survival in Complex Computer Architectures"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-14412-7_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14412-7_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wicsa/Polack09"
  tags:
  - "architecture"
  - "C++"
  researchr: "https://researchr.org/publication/Polack09"
  cites: 0
  citedby: 0
  pages: "66-83"
  booktitle: "wicsa"
  kind: "inproceedings"
  key: "Polack09"
- title: "Communicating Complex Systems"
  author:
  - name: "Peter H. Welch"
    link: "https://researchr.org/alias/peter-h.-welch"
  - name: "Fred R. M. Barnes"
    link: "https://researchr.org/alias/fred-r.-m.-barnes"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.53"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.53"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/WelchBP06"
  cites: 0
  citedby: 0
  pages: "107-120"
  booktitle: "ICECCS"
  kind: "inproceedings"
  key: "WelchBP06"
- title: "Model Migration with Epsilon Flock"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13688-7_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13688-7_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmt/RoseKPP10"
  tags:
  - "meta-model"
  - "C++"
  - "migration"
  - "Epsilon"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/RoseKPP10"
  cites: 0
  citedby: 0
  pages: "184-198"
  booktitle: "ICMT"
  kind: "inproceedings"
  key: "RoseKPP10"
- title: "Constructing Models with the Human-Usable Textual Notation"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_18"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/RosePKP08"
  cites: 0
  citedby: 0
  pages: "249-263"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "RosePKP08"
- title: "Using formal metamodels to check consistency of functional views in information systems specification"
  author:
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A9gine-laleau"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.infsof.2007.10.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.infsof.2007.10.007"
  tags:
  - "C++"
  - "consistency"
  researchr: "https://researchr.org/publication/LaleauP08"
  cites: 0
  citedby: 0
  journal: "INFSOF"
  volume: "50"
  number: "7-8"
  pages: "797-814"
  kind: "article"
  key: "LaleauP08"
- title: "Detecting and Repairing Inconsistencies across Heterogeneous Models"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2008.23"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2008.23"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/KolovosPP08"
  cites: 0
  citedby: 0
  pages: "356-364"
  booktitle: "icst"
  kind: "inproceedings"
  key: "KolovosPP08"
- title: "A Comparison of Model Migration Tools"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Markus Herrmannsdörfer"
    link: "http://www4.in.tum.de/~herrmama/"
  - name: "Williams"
    link: "https://researchr.org/alias/williams"
  - name: "Kolovos"
    link: "https://researchr.org/alias/kolovos"
  - name: "Garcés"
    link: "https://researchr.org/alias/garc%C3%A9s"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  tags:
  - "meta-model"
  - "C++"
  - "migration"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Rose%3AMoDELS%3A2010"
  cites: 0
  citedby: 0
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "Rose:MoDELS:2010"
- title: "Structured Analysis - A Draft Method for Writing Z Specifications"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Mark Whiston"
    link: "https://researchr.org/alias/mark-whiston"
  - name: "Peter Hitchcock"
    link: "https://researchr.org/alias/peter-hitchcock"
  year: "1991"
  tags:
  - "analysis"
  - "C++"
  - "writing"
  researchr: "https://researchr.org/publication/PolackWH91"
  cites: 0
  citedby: 0
  pages: "287-328"
  booktitle: "zum"
  kind: "inproceedings"
  key: "PolackWH91"
- title: "Reflections on the Simulation of Complex Systems for Science"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Paul S. Andrews"
    link: "https://researchr.org/alias/paul-s.-andrews"
  - name: "Teodor Ghetiu"
    link: "https://researchr.org/alias/teodor-ghetiu"
  - name: "Mark Read"
    link: "https://researchr.org/alias/mark-read"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Jon Timmis"
    link: "https://researchr.org/alias/jon-timmis"
  - name: "Adam T. Sampson"
    link: "https://researchr.org/alias/adam-t.-sampson"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICECCS.2010.48"
  links:
    doi: "http://dx.doi.org/10.1109/ICECCS.2010.48"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/PolackAGRSTS10"
  tags:
  - "C++"
  - "e-science"
  - "reflection"
  researchr: "https://researchr.org/publication/PolackAGRSTS10"
  cites: 0
  citedby: 0
  pages: "276-285"
  booktitle: "ICECCS"
  kind: "inproceedings"
  key: "PolackAGRSTS10"
- title: "Formal Proof from UML Models"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=418"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=418"
  tags:
  - "UML"
  - "C++"
  researchr: "https://researchr.org/publication/AmalioSP04"
  cites: 0
  citedby: 0
  pages: "418-433"
  booktitle: "icfem"
  kind: "inproceedings"
  key: "AmalioSP04"
- title: "SAZ"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Peter Hitchcock"
    link: "https://researchr.org/alias/peter-hitchcock"
  - name: "Alan W. Brown"
    link: "https://researchr.org/alias/alan-w.-brown"
  year: "1990"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackHB90"
  cites: 0
  citedby: 0
  pages: "384"
  booktitle: "zum"
  kind: "inproceedings"
  key: "PolackHB90"
- title: "The Epsilon Transformation Language"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_4"
  tags:
  - "transformation language"
  - "C++"
  - "Epsilon"
  - "transformation"
  researchr: "https://researchr.org/publication/KolovosPP08%3A0"
  cites: 0
  citedby: 0
  pages: "46-60"
  booktitle: "ICMT"
  kind: "inproceedings"
  key: "KolovosPP08:0"
- title: "An Object-Oriented Structuring for Z Based on Views"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11415787_16"
  links:
    doi: "http://dx.doi.org/10.1007/11415787_16"
  tags:
  - "rule-based"
  - "meta-model"
  - "C++"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AmalioPS05"
  cites: 0
  citedby: 0
  pages: "262-278"
  booktitle: "zum"
  kind: "inproceedings"
  key: "AmalioPS05"
- title: "Engineering Emergence"
  author:
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Heather R. Turner"
    link: "https://researchr.org/alias/heather-r.-turner"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.55"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.55"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/StepneyPT06"
  cites: 0
  citedby: 0
  pages: "89-97"
  booktitle: "ICECCS"
  kind: "inproceedings"
  key: "StepneyPT06"
- title: "Frameworks Based on Templates for Rigorous Model-driven Development"
  author:
  - name: "Nuno Amálio"
    link: "https://researchr.org/alias/nuno-am%C3%A1lio"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.09.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.09.002"
  tags:
  - "rule-based"
  - "meta-model"
  - "model-driven development"
  - "C++"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AmalioPS07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "191"
  pages: "3-23"
  kind: "article"
  key: "AmalioPS07"
- title: "Update Transformations in the Small with the Epsilon Wizard Language"
  author:
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  year: "2007"
  doi: "http://www.jot.fm/issues/issue_2007_10/paper3/index.html"
  links:
    doi: "http://www.jot.fm/issues/issue_2007_10/paper3/index.html"
  tags:
  - "transformation language"
  - "C++"
  - "Epsilon"
  - "transformation"
  researchr: "https://researchr.org/publication/KolovosPPR07"
  cites: 0
  citedby: 0
  journal: "jot"
  volume: "6"
  number: "9"
  pages: "53-69"
  kind: "article"
  key: "KolovosPPR07"
- title: "Software Quality Assurance Using the SAZ Method"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Keith Mander"
    link: "https://researchr.org/alias/keith-mander"
  year: "1994"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackM94"
  cites: 0
  citedby: 0
  pages: "230-249"
  booktitle: "zum"
  kind: "inproceedings"
  key: "PolackM94"
- title: "Model Migration Case for TTC 2010"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  links:
    "url": "http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/cases/ttc2010_submission_2_v2010-04-22.pdf"
  tags:
  - "C++"
  - "migration"
  researchr: "https://researchr.org/publication/louism.rosemodel"
  cites: 0
  citedby: 0
  booktitle: "TTC"
  kind: "inproceedings"
  key: "louism.rosemodel"
- title: "Automated Formalisation for Verification of Diagrammatic Models"
  author:
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2010.05.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2010.05.013"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/WilliamsP10"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/WilliamsP10"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "263"
  pages: "211-226"
  kind: "article"
  key: "WilliamsP10"
- title: "The Epsilon Generation Language"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_1"
  tags:
  - "C++"
  - "Epsilon"
  researchr: "https://researchr.org/publication/RosePKP08%3A0"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "ECMDA-FA"
  kind: "inproceedings"
  key: "RosePKP08:0"
- title: "Enhanced Automation for Managing Model and Metamodel Inconsistency"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57"
  abstract: "Model-Driven Engineering (MDE) introduces additional challenges for managing evolution. For example, a metamodel change may affect instance models. Existing tool supported approaches for updating models in response to a metamodel change assume extra effort from metamodel developers. When no existing approach is applicable, metamodel users must update their models manually, an error prone and tedious task. In this paper, we describe the technical challenges faced when using the Eclipse Modeling Framework (EMF) and existing approaches for updating models in response to a metamodel change. We then motivate and describe alternative techniques, including: a mechanism for loading, storing and mainpulating inconsistent models; a mapping of inconsistent models to a human-usable notation for semi-automated and collaborative co-evolution; and integration with an inter-model reference manager, achieving automatic consistency checking as part of metamodel distribution."
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57"
  tags:
  - "Eclipse"
  - "model checking"
  - "meta-model"
  - "modeling"
  - "EMF"
  - "model-driven engineering"
  - "C++"
  - "consistency"
  - "Meta-Environment"
  - "MDE"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Rose%3AASE%3A2009"
  cites: 0
  citedby: 0
  journal: "Automated Software Engineering, International Conference on"
  volume: "0"
  kind: "article"
  key: "Rose:ASE:2009"
- title: "Emergent Properties Do Not Refine"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.030"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.030"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackS05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "137"
  number: "2"
  pages: "163-181"
  kind: "article"
  key: "PolackS05"
- title: "Agile development of secure web applications"
  author:
  - name: "Xiaocheng Ge"
    link: "https://researchr.org/alias/xiaocheng-ge"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Howard Chivers"
    link: "https://researchr.org/alias/howard-chivers"
  - name: "Phillip J. Brooke"
    link: "https://researchr.org/alias/phillip-j.-brooke"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1145581.1145641"
  links:
    doi: "http://doi.acm.org/10.1145/1145581.1145641"
  tags:
  - "C++"
  - "web applications"
  researchr: "https://researchr.org/publication/GePPCB06"
  cites: 0
  citedby: 0
  pages: "305-312"
  booktitle: "ICWE"
  kind: "inproceedings"
  key: "GePPCB06"
- title: "The engineering of concurrent simulations of complex systems"
  author:
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Paul S. Andrews"
    link: "https://researchr.org/alias/paul-s.-andrews"
  - name: "Adam T. Sampson"
    link: "https://researchr.org/alias/adam-t.-sampson"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/CEC.2009.4982951"
  links:
    doi: "http://dx.doi.org/10.1109/CEC.2009.4982951"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cec/PolackAS09"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/PolackAS09"
  cites: 0
  citedby: 0
  pages: "217-224"
  booktitle: "cec"
  kind: "inproceedings"
  key: "PolackAS09"
- title: "Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development"
  author:
  - name: "Regine Laleau"
    link: "https://researchr.org/alias/regine-laleau"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2272/22720517.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2272/22720517.htm"
  tags:
  - "UML"
  - "C++"
  researchr: "https://researchr.org/publication/LaleauP02"
  cites: 0
  citedby: 0
  pages: "517-534"
  booktitle: "zum"
  kind: "inproceedings"
  key: "LaleauP02"
- title: "An Analysis of Approaches to Model Migration"
  author:
  - name: "Louis M. Rose"
    link: "http://www.cs.york.ac.uk/~louis"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Dimitris Kolovos"
    link: "http://www-users.cs.york.ac.uk/~dkolovos/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  year: "2009"
  abstract: "Changing a metamodel can cause inconsistency with instance models. Modelling frameworks such as EMF that implement the OMG's metamodelling architecture cannot be used to manipulate models that are inconsistent with their metamodel: inconsistent models cannot be loaded. Consequently, developers have to invest effort in migrating inconsistent models, to re-establish consistency. This is an example of model and metamodel evolution --- indeed, of co-evolution. In their recent book, Mens and Demeyer note that there are new challenges for MDE in controlling and managing model and metamodel evolution. Various approaches to automating model migration have been proposed. In this paper, we demonstrate some of the important limitations of automatic generation of model migration strategies, and identify requirements for improved model and metamodel co-evolution support."
  links:
    "paper (draft)": "http://www-users.cs.york.ac.uk/~dkolovos/misc/MODSE.2009.pdf"
  tags:
  - "meta-model"
  - "modeling"
  - "architecture"
  - "analysis"
  - "EMF"
  - "C++"
  - "migration"
  - "consistency"
  - "Meta-Environment"
  - "MDE"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Rose%3AMCCM%3A2009"
  cites: 0
  citedby: 1
  booktitle: "Proc. Models and Evolution (MoDSE-MCCM) Workshop, 12th ACM/IEEE International Conference on Model Driven Engineering, Languages and Systems"
  kind: "inproceedings"
  key: "Rose:MCCM:2009"
- title: "The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008"
  year: "2008"
  doi: "http://www.booksonline.iospress.nl/Content/View.aspx?piid=10444"
  links:
    doi: "http://www.booksonline.iospress.nl/Content/View.aspx?piid=10444"
  tags:
  - "architecture"
  - "e-science"
  researchr: "https://researchr.org/publication/wotug%3A2008"
  cites: 0
  citedby: 0
  booktitle: "The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008"
  conference: "wotug"
  editor:
  - name: "Peter H. Welch"
    link: "https://researchr.org/alias/peter-h.-welch"
  - name: "Susan Stepney"
    link: "https://researchr.org/alias/susan-stepney"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Fred R. M. Barnes"
    link: "https://researchr.org/alias/fred-r.-m.-barnes"
  - name: "Alistair A. McEwan"
    link: "https://researchr.org/alias/alistair-a.-mcewan"
  - name: "Gardiner S. Stiles"
    link: "https://researchr.org/alias/gardiner-s.-stiles"
  - name: "Jan F. Broenink"
    link: "https://researchr.org/alias/jan-f.-broenink"
  - name: "Adam T. Sampson"
    link: "https://researchr.org/alias/adam-t.-sampson"
  volume: "66"
  series: "Concurrent Systems Engineering Series"
  publisher: "IOS Press"
  isbn: "978-1-58603-907-3"
  kind: "proceedings"
  key: "wotug:2008"
- title: "Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings"
  year: "2006"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/spc%3A2006"
  cites: 0
  citedby: 0
  booktitle: "Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings"
  conference: "spc"
  editor:
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Phillip J. Brooke"
    link: "https://researchr.org/alias/phillip-j.-brooke"
  volume: "3934"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33376-2"
  kind: "proceedings"
  key: "spc:2006"