Perdita Stevens

82 papers A 6B 11C 2Journal 27Unranked 28

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