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  98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings"
  editor:
  - name: "Davide Sangiorgi"
    link: "https://researchr.org/alias/davide-sangiorgi"
  - name: "Robert de Simone"
    link: "https://researchr.org/alias/robert-de-simone"
  volume: "1466"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64896-8"
  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: "18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1819-2"
  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: "Knowl.-Based Syst."
  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: "Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings"
  editor:
  - name: "Serge Demeyer"
    link: "https://researchr.org/alias/serge-demeyer"
  - name: "Jan Bosch"
    link: "https://researchr.org/alias/jan-bosch"
  volume: "1543"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65460-7"
  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: "Automated Software Engineering"
  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: "Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007"
  editor:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Joost Visser"
    link: "http://www.di.uminho.pt/~joost.visser/"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  volume: "5235"
  series: "Lecture Notes in Computer Science"
  address: "Braga, Portugal"
  publisher: "Springer"
  isbn: "978-3-540-88642-6"
  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: "Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings"
  editor:
  - name: "Ana M. D. Moreira"
    link: "https://researchr.org/alias/ana-m.-d.-moreira"
  - name: "Serge Demeyer"
    link: "https://researchr.org/alias/serge-demeyer"
  volume: "1743"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66954-X"
  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: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006"
  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: "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: "Softw. Test., Verif. Reliab."
  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: "Formal Asp. Comput."
  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: "Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings"
  editor:
  - name: "Ana M. D. Moreira"
    link: "https://researchr.org/alias/ana-m.-d.-moreira"
  - name: "Serge Demeyer"
    link: "https://researchr.org/alias/serge-demeyer"
  volume: "1743"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66954-X"
  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"