publications:
- title: "Abstract Games for Infinite State Processes"
  author:
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660147.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660147.htm"
  researchr: "https://researchr.org/publication/Stevens98%3A0"
  cites: 0
  citedby: 0
  pages: "147-162"
  booktitle: "concur"
  kind: "inproceedings"
  key: "Stevens98:0"
- title: "Panel Introducion"
  author:
  - name: "Arie  van Deursen"
    link: "http://www.st.ewi.tudelft.nl/~arie/"
  - name: "Timothy Lethbridge"
    link: "https://researchr.org/alias/timothy-lethbridge"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "2002"
  doi: "http://computer.org/proceedings/icsm/1819/18190248abs.htm"
  links:
    doi: "http://computer.org/proceedings/icsm/1819/18190248abs.htm"
  researchr: "https://researchr.org/publication/DeursenLS02"
  cites: 0
  citedby: 0
  pages: "248"
  booktitle: "ICSM"
  kind: "inproceedings"
  key: "DeursenLS02"
- title: "GUIDE: Games with UML for interactive design exploration"
  author:
  - name: "Jennifer Tenzer"
    link: "https://researchr.org/alias/jennifer-tenzer"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.knosys.2007.05.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2007.05.005"
  tags:
  - "UML"
  - "design"
  researchr: "https://researchr.org/publication/TenzerS07"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "20"
  number: "7"
  pages: "652-670"
  kind: "article"
  key: "TenzerS07"
- title: "Report of Working Group on Reengineering Patterns"
  author:
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "1998"
  researchr: "https://researchr.org/publication/Stevens98%3A1"
  cites: 0
  citedby: 0
  pages: "89-92"
  booktitle: "ECOOPW"
  kind: "inproceedings"
  key: "Stevens98:1"
- title: "A Verification Tool Seveloper s Vade Mecum"
  author:
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "1998"
  doi: "http://link.springer.de/link/service/journals/10009/bibs/8002002/80020089.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/10009/bibs/8002002/80020089.htm"
  researchr: "https://researchr.org/publication/Stevens98"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "2"
  number: "2"
  pages: "89-94"
  kind: "article"
  key: "Stevens98"
- title: "Small-Scale XMI Programming: A Revolution in UML Tool Use?"
  author:
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "2003"
  tags:
  - "UML"
  - "programming"
  researchr: "https://researchr.org/publication/Stevens03%3A1"
  cites: 0
  citedby: 0
  journal: "ASE"
  volume: "10"
  number: "1"
  pages: "7-21"
  kind: "article"
  key: "Stevens03:1"
- title: "A Landscape of Bidirectional Model Transformations"
  author:
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-88643-3_10"
  abstract: "Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into another is at least as old as the computer, provided that we take a sufficiently broad view of what a model is. In many contexts, people have encountered the need for bidirectional transformations. In this survey paper we discuss the various notions of bidirectional transformation, and their motivation from the needs of software engineering. We discuss the state of the art in work targeted specifically at the OMG’s MDD initiative, and also, briefly, related work from other communities. We point out some areas which are so far relatively under-researched, and propose research topics for the future. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88643-3_10"
  tags:
  - "model-to-model transformation"
  - "bidirectional model transformations"
  - "transformation engineering"
  - "bidirectional transformation"
  - "bidirectional model transformation"
  - "meta-model"
  - "modeling"
  - "model-driven development"
  - "source-to-source"
  - "survey"
  - "software engineering"
  - "model-driven engineering"
  - "model transformation"
  - "context-aware"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/Stevens07%3A1"
  cites: 0
  citedby: 0
  pages: "408-424"
  booktitle: "GTTSE"
  kind: "inproceedings"
  key: "Stevens07:1"
- title: "Guest editors  introduction: Advancements and extensions of verification techniques"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1007/s10009-004-0150-0"
  links:
    doi: "http://www.springerlink.com/index/10.1007/s10009-004-0150-0"
  researchr: "https://researchr.org/publication/KatoenS04"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "6"
  number: "2"
  pages: "99-101"
  kind: "article"
  key: "KatoenS04"
- title: "UML for Describing Product-Line Architectures?"
  author:
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "1999"
  tags:
  - "architecture"
  - "UML"
  - "product line"
  researchr: "https://researchr.org/publication/Stevens99%3A1"
  cites: 0
  citedby: 0
  pages: "199"
  booktitle: "ECOOPW"
  kind: "inproceedings"
  key: "Stevens99:1"
- title: "06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)"
  author:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/958"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/958"
  researchr: "https://researchr.org/publication/BrinksmaHMSW06a"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "BrinksmaHMSW06a"
- title: "Refinement in Z and object-Z: foundations and advanced applications"
  author:
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "2002"
  tags:
  - "meta-model"
  - "refinement"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Stevens02"
  cites: 0
  citedby: 0
  journal: "stvr"
  volume: "12"
  number: "1"
  pages: "61"
  kind: "article"
  key: "Stevens02"
- title: "On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams"
  author:
  - name: "Jennifer Tenzer"
    link: "https://researchr.org/alias/jennifer-tenzer"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00165-006-0003-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-006-0003-6"
  tags:
  - "modeling language"
  - "modeling"
  - "language modeling"
  researchr: "https://researchr.org/publication/TenzerS06"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "18"
  number: "4"
  pages: "397-420"
  kind: "article"
  key: "TenzerS06"
- title: "Aggregation"
  author:
  - name: "Andy Evans"
    link: "https://researchr.org/alias/andy-evans"
  - name: "Robert B. France"
    link: "http://www.cs.colostate.edu/~france/"
  - name: "Guy Genilloud"
    link: "https://researchr.org/alias/guy-genilloud"
  - name: "Brian Henderson-Sellers"
    link: "https://researchr.org/alias/brian-henderson-sellers"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "1999"
  researchr: "https://researchr.org/publication/EvansFGHS99"
  cites: 0
  citedby: 0
  pages: "55-56"
  booktitle: "ECOOPW"
  kind: "inproceedings"
  key: "EvansFGHS99"
- title: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006"
  year: "2007"
  researchr: "https://researchr.org/publication/dagstuhl%3A2006P6351"
  cites: 0
  citedby: 0
  booktitle: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006"
  conference: "Dagstuhl"
  editor:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  volume: "06351"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2006P6351"