Perdita Stevens

Perdita Stevens: A simple game-theoretic approach to checkonly QVT Relations. Software and System Modeling 12(1): 175-199 (2013)

Julian C. Bradfield, Perdita Stevens: Enforcing QVT-R with mu-Calculus and Games. FASE 2013: 282-296

Perdita Stevens: Observations relating to the equivalences induced on model sets by bidirectional transformations. ECEASST 49 (2012)

Julian C. Bradfield, Perdita Stevens: Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. FASE 2012: 194-208

Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger: Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Record 40(1): 35-39 (2011)

Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger: Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). Dagstuhl Reports 1(1): 42-67 (2011)

Perdita Stevens: Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling 9(1): 7-20 (2010)

Perdita Stevens: A Simple Game-Theoretic Approach to Checkonly QVT Relations. ICMT 2009: 165-180

Perdita Stevens: Towards an Algebraic Theory of Bidirectional Transformations. ICGT 2008: 1-17

Jennifer Tenzer, Perdita Stevens: GUIDE: Games with UML for interactive design exploration. Knowl.-Based Syst. 20(7): 652-670 (2007)

Perdita Stevens: A Landscape of Bidirectional Model Transformations. GTTSE 2007: 408-424

Perdita Stevens: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. MoDELS 2007: 1-15

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (Eds.): Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Jennifer Tenzer, Perdita Stevens: On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. Formal Asp. Comput. 18(4): 397-420 (2006)

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006

Perdita Stevens, Jon Whittle: Guest editorial to the special issue on UML2003. Software and System Modeling 4(4): 353-354 (2005)

Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber: Functional programming languages for verification tools: a comparison of Standard ML and Haskell. STTT 7(2): 184-194 (2005)

Perdita Stevens: A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. FIW 2005: 35-36

Joost-Pieter Katoen, Perdita Stevens: Guest editors' introduction: Advancements and extensions of verification techniques. STTT 6(2): 99-101 (2004)

C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens: Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP 2004: 74-78

Perdita Stevens: Small-Scale XMI Programming: A Revolution in UML Tool Use? Autom. Softw. Eng. 10(1): 7-21 (2003)

Perdita Stevens: UML and Concurrency. Abstract State Machines 2003: 151-165

Jennifer Tenzer, Perdita Stevens: Modelling Recursive Calls with UML State Diagrams. FASE 2003: 135-149

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24

Elie Najm, Uwe Nestmann, Perdita Stevens (Eds.): Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science 2884, Springer 2003, isbn 3-540-20491-1

Perdita Stevens, Jon Whittle, Grady Booch (Eds.): «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Lecture Notes in Computer Science 2863, Springer 2003, isbn 3-540-20243-9

Luciana D'Adderio, Rick G. Dewar, Ashley D. Lloyd, Perdita Stevens: Has the pattern emperor any clothes?: a controversy in three acts. ACM SIGSOFT Software Engineering Notes 27(1): 31-35 (2002)

Perdita Stevens: On the interpretation of binary associations in the Unified Modelling Language. Software and System Modeling 1(1): 68-79 (2002)

Perdita Stevens: Refinement in Z and object-Z: foundations and advanced applications. Softw. Test., Verif. Reliab. 12(1): 61 (2002)

Perdita Stevens: Playing Games with Software Design. COORDINATION 2002: 1

Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens: Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217

Perdita Stevens, Jennifer Tenzer: Games for UML Software Design. FMCO 2002: 467-486

Arie van Deursen, Timothy Lethbridge, Perdita Stevens: Panel Introducion. ICSM 2002: 248-

Joost-Pieter Katoen, Perdita Stevens (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2280, Springer 2002, isbn 3-540-43419-4

Perdita Stevens, Rob Pooley: UML - Softwareentwicklung mit Objekten und Komponenten: Version 1.3. Pearson Studium 2001, isbn 978-3-8273-7003-7, pp. 1-305

Perdita Stevens: On Use Cases and Their Relationships in the Unified Modelling Language. FASE 2001: 140-155

Perdita Stevens: On Associations in the Unified Modelling Language. UML 2001: 361-375

Rick G. Dewar, Ashley D. Lloyd, Rob Pooley, Perdita Stevens: Identifying nd communicting expertise in systems reengineering: a patterns approach. IEE Proceedings - Software 146(3): 145-152 (1999)

Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens: Aggregation. ECOOP Workshops 1999: 55-56

Perdita Stevens: UML for Describing Product-Line Architectures? ECOOP Workshops 1999: 199

Perdita Stevens: Some Issues in the Software Engineering of Verification Tools. TACAS 1999: 435-438

Perdita Stevens: A Verification Tool Seveloper's Vade Mecum. STTT 2(2): 89-94 (1998)

Perdita Stevens: Abstract Games for Infinite State Processes. CONCUR 1998: 147-162

Perdita Stevens, Rob Pooley: Systems Reengineering Patterns. ECOOP Workshops 1998: 85-86

Perdita Stevens: Report of Working Group on Reengineering Patterns. ECOOP Workshops 1998: 89-92

Perdita Stevens, Rob Pooley: Systems Reengineering Patterns. SIGSOFT FSE 1998: 17-23

Perdita Stevens, Colin Stirling: Practical Model-Checking Using Games. TACAS 1998: 85-101