Perdita Stevens - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Perdita Stevens' as author, editor, or advisor:

Confidentiality in the process of (model-driven) software developmentMichael Johnson, Perdita Stevens. Programming 2018: 1-8 [doi]
A Simple Game-Theoretic Approach to Checkonly QVT RelationsPerdita Stevens. ICMT 2009: 165-180 [doi]
Entangled State MonadsJames Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh. edbt 2014: 108-111 [doi]
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev. dagstuhl-reports, 8(12):1-48, 2018. [doi]
On the interpretation of binary associations in the Unified Modelling LanguagePerdita Stevens. SoSyM, 1(1):68-79, 2002. [doi]
Towards an Algebraic Theory of Bidirectional TransformationsPerdita Stevens. gg 2008: 1-17 [doi]
Dagstuhl seminar on bidirectional transformations (BX)Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger. SIGMOD, 40(1):35-39, 2011. [doi]
Maintaining consistency in networks of models: bidirectional transformations in the largePerdita Stevens. SoSyM, 19(1):39-65, 2020. [doi]
A Systematic Approach and Guidelines to Developing a Triple Graph GrammarAnthony Anjorin, Erhan Leblebici, Roland Kluge, Andy Schürr, Perdita Stevens. staf 2015: 81-95 [doi]
A simple game-theoretic approach to checkonly QVT RelationsPerdita Stevens. SoSyM, 12(1):175-199, 2013. [doi]
Guest editorial to the special issue on UML2003Perdita Stevens, Jon Whittle. SoSyM, 4(4):353-354, 2005. [doi]
Bidirectional Model Transformations in QVT: Semantic Issues and Open QuestionsPerdita Stevens. MoDELS 2007: 1-15 [doi]
Using UML - software engineering with objects and components, Second EditionPerdita Stevens, Rob Pooley. Addison Wesley object technology series, Addison-Wesley, 2006.
Playing Games with Software DesignPerdita Stevens. coordination 2002: 1 [doi]
UML and ConcurrencyPerdita Stevens. asmta 2003: 151-165 [doi]
Some Issues in the Software Engineering of Verification ToolsPerdita Stevens. TACAS 1999: 435-438 [doi]
Tool Use in Software Modelling EducationSeiko Akayama, Birgit Demuth, Timothy C. Lethbridge, Marion Scholz, Perdita Stevens, Dave R. Stikkolorum. MoDELS 2013: [doi]
«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, ProceedingsPerdita Stevens, Jon Whittle, Grady Booch, editors, Volume 2863 of Lecture Notes in Computer Science, Springer, 2003.
UML for Global ComputingHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing. global 2003: 1-24 [doi]
Towards sound, optimal, and flexible building from megamodelsPerdita Stevens. MoDELS 2018: 301-311 [doi]
On Use Cases and Their Relationships in the Unified Modelling LanguagePerdita Stevens. FASE 2001: 140-155 [doi]
Towards a Principle of Least Surprise for Bidirectional TransformationsJames Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. staf 2015: 66-80 [doi]
Enforcing QVT-R with mu-Calculus and GamesJulian C. Bradfield, Perdita Stevens. FASE 2013: 282-296 [doi]
Reflections on Monadic LensesFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. BIRTHDAY 2016: 1-31 [doi]
Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial LecturesJeremy Gibbons, Perdita Stevens, editors, Volume 9715 of Lecture Notes in Computer Science, Springer, 2018. [doi]
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper)James McKinna, Perdita Stevens. etaps 2016: 32-34 [doi]
EditorialEwen Denney, Perdita Stevens, Andrzej Wasowski. fac, 30(1):1, 2018. [doi]
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, ProceedingsElie Najm, Uwe Nestmann, Perdita Stevens, editors, Volume 2884 of Lecture Notes in Computer Science, Springer, 2003.
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, 2013Timothy C. Lethbridge, Perdita Stevens, editors, Volume 1134 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]
Notions of Bidirectional Computation and Entangled State MonadsFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. mpc 2015: 187-214 [doi]
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, ProceedingsJoost-Pieter Katoen, Perdita Stevens, editors, Volume 2280 of Lecture Notes in Computer Science, Springer, 2002.
Practical Model-Checking Using GamesPerdita Stevens, Colin Stirling. TACAS 1998: 85-101 [doi]
Bidirectional Transformation bx (Dagstuhl Seminar 11031)Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger. dagstuhl-reports, 1(1):42-67, 2011. [doi]
The Future of Programming andModelling: A VisionPerdita Stevens. ISoLA 2021: 357-377 [doi]
On OntologologyPerdita Stevens, Jeremy Gibbons. etaps 2017: 54-58 [doi]
Modelling Recursive Calls with UML State DiagramsJennifer Tenzer, Perdita Stevens. FASE 2003: 135-149 [doi]
A Practical Introduction to Games, Infinity and the Edinburgh Concurrency WorkbenchPerdita Stevens. fiw 2005: 35-36
Games for UML Software DesignPerdita Stevens, Jennifer Tenzer. FMCO 2003: 467-486 [doi]
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, ProceedingsPerdita Stevens, Andrzej Wasowski, editors, Volume 9633 of Lecture Notes in Computer Science, Springer, 2016. [doi]
Bidirectionally Tolerating Inconsistency: Partial TransformationsPerdita Stevens. FASE 2014: 32-46 [doi]
Enriching OCL Using Observational Mu-CalculusJulian C. Bradfield, Juliana Küster Filipe, Perdita Stevens. FASE 2002: 203-217 [doi]
06351 Summary -- Methods for Modelling Software Systems (MMOSS)Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa. Dagstuhl 2007: [doi]
On principles of Least Change and Least Surprise for bidirectional transformationsJames Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. jot, 16(1), 2017. [doi]
Teaching and learning about abstractionPerdita Stevens. MoDELS 2018: 143 [doi]
Is Bidirectionality Important?Perdita Stevens. ECMDA-FA 2018: 1-11 [doi]
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodelsPerdita Stevens. SoSyM, 19(4):935-958, 2020. [doi]
Teaching modeling in computer science as an ecosystem: a provocative analogyMartin Gogolla, Perdita Stevens. csedu, 28(1):5-22, 2018. [doi]
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu CalculusJulian C. Bradfield, Perdita Stevens. FASE 2012: 194-208 [doi]
Introduction to Bidirectional TransformationsFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. ac 2018: 1-28 [doi]
On Associations in the Unified Modelling LanguagePerdita Stevens. uml 2001: 361-375 [doi]
Analysing UML 2.0 activity diagrams in the software performance engineering processC. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens. wosp 2004: 74-78 [doi]
Bidirectional Transformations in the LargePerdita Stevens. MoDELS 2017: 1-11 [doi]
ForewordMartin Hofmann 0001, David Aspinall 0001, Brian Campbell 0001, Ian Stark, Perdita Stevens. TCS, 741:1-2, 2018. [doi]
UML - Softwareentwicklung mit Objekten und Komponenten: Version 1.3Perdita Stevens, Rob Pooley. Pearson Studium, 2001. [doi]
Functional programming languages for verification tools: a comparison of Standard ML and HaskellMartin Leucker, Thomas Noll, Perdita Stevens, Michael Weber 0002. STTT, 7(2):184-194, 2005. [doi]
Guest editorial to the special section on MODELS 2012Jürgen Kazmeier, Perdita Stevens. SoSyM, 14(4):1321-1322, 2015. [doi]
Systems Reengineering PatternsPerdita Stevens, Rob Pooley. ECOOPW 1998: 85-86
Has the pattern emperor any clothes?: a controversy in three actsLuciana D'Adderio, Rick G. Dewar, Ashley D. Lloyd, Perdita Stevens. sigsoft, 27(1):31-35, 2002. [doi]
Identifying nd communicting expertise in systems reengineering: a patterns approachRick Dewar, Ashley D. Lloyd, Rob Pooley, Perdita Stevens. iee, 146(3):145-152, 1999.
Systems Reengineering PatternsPerdita Stevens, Rob Pooley. ESEC/FSE 1998: 17-23 [doi]
Models as Documents, Documents as ModelsPerdita Stevens. ISoLA 2022: 28-34 [doi]
PrefacePerdita Stevens, James F. Terwilliger. eceasst, 57, 2013. [doi]
Observations relating to the equivalences induced on model sets by bidirectional transformationsPerdita Stevens. eceasst, 49, 2012. [doi]
Bidirectional model transformations in QVT: semantic issues and open questionsPerdita Stevens. SoSyM, 9(1):7-20, 2010. [doi]
Towards a Repository of Bx ExamplesJames Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons. edbt 2014: 87-91 [doi]

runs on WebDSL