Perdita Stevens

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 19

Top Topics

Datalog Queries

Enhancing Learning

Special Section

Maintaining Consistency

Top Venues

Softw. Syst. Model.

Publications

Perdita Stevens
Models as Documents, Documents as Models. ISoLA (2) (2022)
Perdita Stevens
The Future of Programming andModelling: A Vision. ISoLA (2021)
Perdita Stevens
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Softw. Syst. Model. 19 (4) (2020)
Perdita Stevens
Maintaining consistency in networks of models: bidirectional transformations in the large. Softw. Syst. Model. 19 (1) (2020)
Perdita Stevens
Towards sound, optimal, and flexible building from megamodels. MoDELS (2018)
Martin Gogolla, Perdita Stevens
Teaching modeling in computer science as an ecosystem: a provocative analogy. Comput. Sci. Educ. 28 (1) (2018)
Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens
Foreword. Theor. Comput. Sci. 741 (2018)
Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). Dagstuhl Reports 8 (12) (2018)
Ewen Denney, Perdita Stevens, Andrzej Wasowski
Editorial. Formal Aspects Comput. 30 (1) (2018)
Perdita Stevens
Is Bidirectionality Important? ECMFA (2018)
Perdita Stevens
Teaching and learning about abstraction. MoDELS (Companion) (2018)
Michael Johnson, Perdita Stevens
Confidentiality in the process of (model-driven) software development. Programming (2018)
Perdita Stevens
Bidirectional Transformations in the Large. MoDELS (2017)
James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
On principles of Least Change and Least Surprise for bidirectional transformations. J. Object Technol. 16 (1) (2017)
Perdita Stevens, Jeremy Gibbons
On Ontologology. BX@ETAPS (2017)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. CoRR (2016)
James McKinna, Perdita Stevens
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). Bx@ETAPS (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Introduction to Bidirectional Transformations. Bidirectional Transformations (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. A List of Successes That Can Change the World (2016)
James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF (2015)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Notions of Bidirectional Computation and Entangled State Monads. MPC (2015)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Notions of bidirectional computation and entangled state monads. CoRR (2015)
Jürgen Kazmeier, Perdita Stevens
Guest editorial to the special section on MODELS 2012. Softw. Syst. Model. 14 (4) (2015)
Anthony Anjorin, Erhan Leblebici, Roland Kluge, Andy Schürr, Perdita Stevens
A Systematic Approach and Guidelines to Developing a Triple Graph Grammar. Bx@STAF (2015)
James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons
Towards a Repository of Bx Examples. EDBT/ICDT Workshops (2014)
James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh
Entangled State Monads. EDBT/ICDT Workshops (2014)
Perdita Stevens
Bidirectionally Tolerating Inconsistency: Partial Transformations. FASE (2014)
Perdita Stevens
A simple game-theoretic approach to checkonly QVT Relations. Softw. Syst. Model. 12 (1) (2013)
Seiko Akayama, Birgit Demuth, Timothy C. Lethbridge, Marion Scholz, Perdita Stevens, Dave R. Stikkolorum
Tool Use in Software Modelling Education. EduSymp@MoDELS (2013)
Julian C. Bradfield, Perdita Stevens
Enforcing QVT-R with mu-Calculus and Games. FASE (2013)
Perdita Stevens, James F. Terwilliger
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Julian C. Bradfield, Perdita Stevens
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. FASE (2012)
Perdita Stevens
Observations relating to the equivalences induced on model sets by bidirectional transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). Dagstuhl Reports 1 (1) (2011)
Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger
Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Rec. 40 (1) (2011)
Perdita Stevens
Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9 (1) (2010)
Perdita Stevens
A Simple Game-Theoretic Approach to Checkonly QVT Relations. ICMT@TOOLS (2009)
Perdita Stevens
Towards an Algebraic Theory of Bidirectional Transformations. ICGT (2008)
Perdita Stevens
A Landscape of Bidirectional Model Transformations. GTTSE (2007)
Perdita Stevens
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. MoDELS (2007)
Jennifer Tenzer, Perdita Stevens
GUIDE: Games with UML for interactive design exploration. Knowl. Based Syst. 20 (7) (2007)
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS (2006)
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS (2006)
Jennifer Tenzer, Perdita Stevens
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. Formal Aspects Comput. 18 (4) (2006)
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Perdita Stevens, Jon Whittle
Guest editorial to the special issue on UML2003. Softw. Syst. Model. 4 (4) (2005)
Perdita Stevens
A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. FIW (2005)
Joost-Pieter Katoen, Perdita Stevens
Guest editors' introduction: Advancements and extensions of verification techniques. Int. J. Softw. Tools Technol. Transf. 6 (2) (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)
Perdita Stevens
UML and Concurrency. Abstract State Machines (2003)
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
UML for Global Computing. Global Computing (2003)
Jennifer Tenzer, Perdita Stevens
Modelling Recursive Calls with UML State Diagrams. FASE (2003)
Perdita Stevens
Small-Scale XMI Programming: A Revolution in UML Tool Use? Autom. Softw. Eng. 10 (1) (2003)
Perdita Stevens, Jennifer Tenzer
Games for UML Software Design. FMCO (2002)
Arie van Deursen, Timothy Lethbridge, Perdita Stevens
Panel Introducion. ICSM (2002)
Perdita Stevens
On the interpretation of binary associations in the Unified Modelling Language. Softw. Syst. Model. 1 (1) (2002)
Perdita Stevens
Refinement in Z and object-Z: foundations and advanced applications. Softw. Test. Verification Reliab. 12 (1) (2002)
Perdita Stevens
Playing Games with Software Design. COORDINATION (2002)
Luciana D'Adderio, Rick G. Dewar, Ashley D. Lloyd, Perdita Stevens
Has the pattern emperor any clothes?: a controversy in three acts. ACM SIGSOFT Softw. Eng. Notes 27 (1) (2002)
Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens
Enriching OCL Using Observational Mu-Calculus. FASE (2002)
Perdita Stevens
On Associations in the Unified Modelling Language. UML (2001)
Perdita Stevens
On Use Cases and Their Relationships in the Unified Modelling Language. FASE (2001)
Rick G. Dewar, Ashley D. Lloyd, Rob Pooley, Perdita Stevens
Identifying nd communicting expertise in systems reengineering: a patterns approach. IEE Proc. Softw. 146 (3) (1999)
Perdita Stevens
Some Issues in the Software Engineering of Verification Tools. TACAS (1999)
Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens
Aggregation. ECOOP Workshops (1999)
Perdita Stevens
UML for Describing Product-Line Architectures? ECOOP Workshops (1999)
Perdita Stevens, Rob Pooley
Systems Reengineering Patterns. SIGSOFT FSE (1998)
Perdita Stevens, Colin Stirling
Practical Model-Checking Using Games. TACAS (1998)
Perdita Stevens, Rob Pooley
Systems Reengineering Patterns. ECOOP Workshops (1998)
Perdita Stevens
Abstract Games for Infinite State Processes. CONCUR (1998)
Perdita Stevens
Report of Working Group on Reengineering Patterns. ECOOP Workshops (1998)
Perdita Stevens
A Verification Tool Seveloper's Vade Mecum. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)