default search action
Perdita Stevens
Person information
- affiliation: University of Edinburgh, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [e8]Michael Sperber, Perdita Stevens:
Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, FUNARCH 2024, Milan, Italy, 6 September 2024. ACM 2024, ISBN 979-8-4007-1101-5 [contents] - 2022
- [c43]Perdita Stevens:
Models as Documents, Documents as Models. ISoLA (2) 2022: 28-34 - 2021
- [c42]Perdita Stevens:
The Future of Programming andModelling: A Vision. ISoLA 2021: 357-377 - 2020
- [j23]Perdita Stevens:
Maintaining consistency in networks of models: bidirectional transformations in the large. Softw. Syst. Model. 19(1): 39-65 (2020) - [j22]Perdita Stevens:
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Softw. Syst. Model. 19(4): 935-958 (2020)
2010 – 2019
- 2018
- [j21]Martin Gogolla, Perdita Stevens:
Teaching modeling in computer science as an ecosystem: a provocative analogy. Comput. Sci. Educ. 28(1): 5-22 (2018) - [j20]Ewen Denney, Perdita Stevens, Andrzej Wasowski:
Editorial. Formal Aspects Comput. 30(1): 1 (2018) - [j19]Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens:
Foreword. Theor. Comput. Sci. 741: 1-2 (2018) - [c41]Perdita Stevens:
Is Bidirectionality Important? ECMFA 2018: 1-11 - [c40]Perdita Stevens:
Teaching and learning about abstraction. MoDELS (Companion) 2018: 143 - [c39]Perdita Stevens:
Towards sound, optimal, and flexible building from megamodels. MoDELS 2018: 301-311 - [c38]Michael Johnson, Perdita Stevens:
Confidentiality in the process of (model-driven) software development. Programming 2018: 1-8 - [e7]Jeremy Gibbons, Perdita Stevens:
Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9715, Springer 2018, ISBN 978-3-319-79107-4 [contents] - [i6]Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev:
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). Dagstuhl Reports 8(12): 1-48 (2018) - 2017
- [j18]James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
On principles of Least Change and Least Surprise for bidirectional transformations. J. Object Technol. 16(1): 3:1-31 (2017) - [c37]Perdita Stevens, Jeremy Gibbons:
On Ontologology. BX@ETAPS 2017: 54-58 - [c36]Perdita Stevens:
Bidirectional Transformations in the Large. MoDELS 2017: 1-11 - 2016
- [c35]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Introduction to Bidirectional Transformations. Bidirectional Transformations 2016: 1-28 - [c34]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: 1-31 - [c33]James McKinna, Perdita Stevens:
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). Bx@ETAPS 2016: 32-34 - [e6]Perdita Stevens, Andrzej Wasowski:
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. Lecture Notes in Computer Science 9633, Springer 2016, ISBN 978-3-662-49664-0 [contents] - [i5]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Reflections on Monadic Lenses. CoRR abs/1601.02484 (2016) - 2015
- [j17]Jürgen Kazmeier, Perdita Stevens:
Guest editorial to the special section on MODELS 2012. Softw. Syst. Model. 14(4): 1321-1322 (2015) - [c32]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of Bidirectional Computation and Entangled State Monads. MPC 2015: 187-214 - [c31]James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF 2015: 66-80 - [c30]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: 81-95 - [i4]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of bidirectional computation and entangled state monads. CoRR abs/1505.02579 (2015) - 2014
- [c29]James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons:
Towards a Repository of Bx Examples. EDBT/ICDT Workshops 2014: 87-91 - [c28]James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh:
Entangled State Monads. EDBT/ICDT Workshops 2014: 108-111 - [c27]Perdita Stevens:
Bidirectionally Tolerating Inconsistency: Partial Transformations. FASE 2014: 32-46 - [e5]Timothy C. Lethbridge, Perdita Stevens:
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. CEUR Workshop Proceedings 1134, CEUR-WS.org 2014 [contents] - 2013
- [j16]Perdita Stevens, James F. Terwilliger:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j15]Perdita Stevens:
A simple game-theoretic approach to checkonly QVT Relations. Softw. Syst. Model. 12(1): 175-199 (2013) - [c26]Julian C. Bradfield, Perdita Stevens:
Enforcing QVT-R with mu-Calculus and Games. FASE 2013: 282-296 - [c25]Seiko Akayama, Birgit Demuth, Timothy C. Lethbridge, Marion Scholz, Perdita Stevens, Dave R. Stikkolorum:
Tool Use in Software Modelling Education. EduSymp@MoDELS 2013 - 2012
- [j14]Perdita Stevens:
Observations relating to the equivalences induced on model sets by bidirectional transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [c24]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 - 2011
- [j13]Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger:
Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Rec. 40(1): 35-39 (2011) - [i3]Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger:
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). Dagstuhl Reports 1(1): 42-67 (2011) - 2010
- [j12]Perdita Stevens:
Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1): 7-20 (2010)
2000 – 2009
- 2009
- [c23]Perdita Stevens:
A Simple Game-Theoretic Approach to Checkonly QVT Relations. ICMT@TOOLS 2009: 165-180 - 2008
- [c22]Perdita Stevens:
Towards an Algebraic Theory of Bidirectional Transformations. ICGT 2008: 1-17 - 2007
- [j11]Jennifer Tenzer, Perdita Stevens:
GUIDE: Games with UML for interactive design exploration. Knowl. Based Syst. 20(7): 652-670 (2007) - [c21]Perdita Stevens:
A Landscape of Bidirectional Model Transformations. GTTSE 2007: 408-424 - [c20]Perdita Stevens:
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. MoDELS 2007: 1-15 - [e4]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
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 [contents] - 2006
- [b2]Perdita Stevens, Rob Pooley:
Using UML - software engineering with objects and components, Second Edition. Addison Wesley object technology series, Addison-Wesley 2006, ISBN 978-0-321-26967-6, pp. I-XXI, 1-248 - [j10]Jennifer Tenzer, Perdita Stevens:
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. Formal Aspects Comput. 18(4): 397-420 (2006) - [i2]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006 - [i1]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006 - 2005
- [j9]Perdita Stevens, Jon Whittle:
Guest editorial to the special issue on UML2003. Softw. Syst. Model. 4(4): 353-354 (2005) - [j8]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): 184-194 (2005) - [c19]Perdita Stevens:
A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. FIW 2005: 35-36 - 2004
- [j7]Joost-Pieter Katoen, Perdita Stevens:
Guest editors' introduction: Advancements and extensions of verification techniques. Int. J. Softw. Tools Technol. Transf. 6(2): 99-101 (2004) - [c18]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 - 2003
- [j6]Perdita Stevens:
Small-Scale XMI Programming: A Revolution in UML Tool Use? Autom. Softw. Eng. 10(1): 7-21 (2003) - [c17]Perdita Stevens:
UML and Concurrency. Abstract State Machines 2003: 151-165 - [c16]Jennifer Tenzer, Perdita Stevens:
Modelling Recursive Calls with UML State Diagrams. FASE 2003: 135-149 - [c15]Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing:
UML for Global Computing. Global Computing 2003: 1-24 - [e3]Elie Najm, Uwe Nestmann, Perdita Stevens:
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 [contents] - [e2]Perdita Stevens, Jon Whittle, Grady Booch:
«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 [contents] - 2002
- [j5]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): 31-35 (2002) - [j4]Perdita Stevens:
On the interpretation of binary associations in the Unified Modelling Language. Softw. Syst. Model. 1(1): 68-79 (2002) - [j3]Perdita Stevens:
Refinement in Z and object-Z: foundations and advanced applications. Softw. Test. Verification Reliab. 12(1): 61 (2002) - [c14]Perdita Stevens:
Playing Games with Software Design. COORDINATION 2002: 1 - [c13]Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens:
Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217 - [c12]Perdita Stevens, Jennifer Tenzer:
Games for UML Software Design. FMCO 2002: 467-486 - [c11]Arie van Deursen, Timothy Lethbridge, Perdita Stevens:
Panel Introducion. ICSM 2002: 248- - [e1]Joost-Pieter Katoen, Perdita Stevens:
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 [contents] - 2001
- [b1]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 - [c10]Perdita Stevens:
On Use Cases and Their Relationships in the Unified Modelling Language. FASE 2001: 140-155 - [c9]Perdita Stevens:
On Associations in the Unified Modelling Language. UML 2001: 361-375
1990 – 1999
- 1999
- [j2]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): 145-152 (1999) - [c8]Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens:
Aggregation. ECOOP Workshops 1999: 55-56 - [c7]Perdita Stevens:
UML for Describing Product-Line Architectures? ECOOP Workshops 1999: 199 - [c6]Perdita Stevens:
Some Issues in the Software Engineering of Verification Tools. TACAS 1999: 435-438 - 1998
- [j1]Perdita Stevens:
A Verification Tool Seveloper's Vade Mecum. Int. J. Softw. Tools Technol. Transf. 2(2): 89-94 (1998) - [c5]Perdita Stevens:
Abstract Games for Infinite State Processes. CONCUR 1998: 147-162 - [c4]Perdita Stevens, Rob Pooley:
Systems Reengineering Patterns. ECOOP Workshops 1998: 85-86 - [c3]Perdita Stevens:
Report of Working Group on Reengineering Patterns. ECOOP Workshops 1998: 89-92 - [c2]Perdita Stevens, Rob Pooley:
Systems Reengineering Patterns. SIGSOFT FSE 1998: 17-23 - [c1]Perdita Stevens, Colin Stirling:
Practical Model-Checking Using Games. TACAS 1998: 85-101
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-02 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint