Perdita Stevens

View Scopus Profile

Perdita Stevens

PROF

 https://orcid.org/0000-0002-3975-7612

Accepting PhD Students

Filter
Conference contribution

Search results

  • 2022

    Models as documents, documents as models

    Stevens, P., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 28-34 7 p. (Lecture Notes in Computer Science; vol. 13702).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Theory and Practice of Networks of Models

    Stevens, P., 1 Jan 2022, Software Foundations for Data Interoperability: 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers. Fletcher, G., Nakano, K. & Sasuki, Y. (eds.). Springer, p. 3-12 10 p. (Communications in Computer and Information Science; vol. 1457).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2021

    The Future of Programming and Modelling: A Vision

    Stevens, P., 12 Oct 2021, Leveraging Applications of Formal Methods, Verification and Validation. Springer, p. 357-377 21 p. (Lecture Notes in Computer Science; vol. 13036).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2018

    Towards sound, optimal, and flexible building from megamodels

    Stevens, P., 14 Oct 2018, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: October 14-19, 2018, Copenhagen, Denmark. ACM, p. 301-311 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Confidentiality in the Process of (Model-Driven) Software Development

    Johnson, M. & Stevens, P., 9 Apr 2018, Proceedings of 2nd International Conference on the Art, Science, and Engineering of Programming(Companion). Nice, France: ACM, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Is Bidirectionality Important?

    Stevens, P., 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, July 25-29, 2018, Proceedings. Pierantonio, A. & Salvador, T. (eds.). Toulouse, France: Springer, p. 1-11 11 p. (Lecture Notes in Computer Science (LNCS); vol. 10890).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2017

    Bidirectional Transformations In The Large

    Stevens, P., 9 Nov 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). p. 1-11 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • On Ontologology

    Stevens, P. & Gibbons, J., 27 Apr 2017, Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software (ETAPS 2017). CEUR Workshop Proceedings, 5 p. (CEUR Workshop Proceedings; vol. 1827).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Reflections on monadic lenses

    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 25 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Springer, 19 p. (Lecture Notes in Computer Science; vol. 9600).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper)

    McKinna, J. & Stevens, P., 2016, Proceedings of the Fifth International Workshop on Bidirectional Transformations (Bx 2016). CEUR Workshop Proceedings, p. 32-34 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2015

    A Systematic Approach and Guidelines to Developing a Triple Graph Grammar

    Anjorin, A., Leblebici, E., Kluge, R., Schürr, A. & Stevens, P., 25 Jul 2015, Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015). CEUR Workshop Proceedings, p. 66-80 15 p. (CEUR Workshop Proceedings; vol. 1396).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Notions of Bidirectional Computation and Entangled State Monads

    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 2015, Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Springer, p. 187-214 28 p. (Lecture Notes in Computer Science; vol. 9129).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards a Principle of Least Surprise for Bidirectional Transformations

    Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 2015, Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015). L'Aquila, Italy: CEUR Workshop Proceedings, Vol. 1396. p. 66-80 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2014

    Bidirectionally Tolerating Inconsistency: Partial Transformations

    Stevens, P., 5 Apr 2014, Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Springer, p. 32-46 15 p. (Lecture Notes in Computer Science; vol. 8411).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Entangled State Monads

    Cheney, J., McKinna, J., Stevens, P., Gibbons, J. & Abou-Saleh, F., 2014, p Proceedings of the EDBT/ICDT 2014 Joint Conference. CEUR-WS.org, p. 108-111 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards a Repository of Bx Examples

    Cheney, J., McKinna, J., Stevens, P. & Gibbons, J., 2014, Workshop Proceedings of the EDBT/ICDT 2014 Joint Conference. p. 87-91 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2013

    Enforcing QVT-R with mu-calculus and games

    Bradfield, J. & Stevens, P., 2013, Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Cortellessa, V. & Varró, D. (eds.). Springer, Vol. 7793. p. 282-296 15 p. (Lecture Notes in Computer Science; vol. 7793).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Predicting the Usability of Telemedicine Systems in Different Deployments through Modelling and Simulation

    Alexandru, C-A. & Stevens, P., 2013, Proceedings of the European Workshop on Practical Aspects of Health Informatics (PAHI 2013), Edinburgh, Scotland, UK. Gilstad, H., Melby, L. & Gilje Jaatun, M. (eds.). CEUR Workshop Proceedings, p. 58-66 9 p. (CEUR Workshop Proceedings; vol. 984).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Tool Use in Software Modelling Education (invited paper)

    Akayama, S., Demuth, B., Lethbridge, T. C., Scholz, M., Stevens, P. & Stikkolorum, D. R., 2013, Proceedings of the Educators' Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2012

    Models to Extend the Scope of Usability Testing for Telemedicine Systems

    Alexandru, C-A. & Stevens, P., 2012, Digital Futures 2012: The Third Annual Digital Economy All Hands Conference. 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus

    Bradfield, J. & Stevens, P., 2012, Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. de Lara, J. & Zisman, A. (eds.). Springer, p. 194-208 15 p. (Lecture Notes in Computer Science; vol. 7212).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2009

    A Simple Game-Theoretic Approach to Checkonly QVT Relations

    Stevens, P., 2009, Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Paige, R. (ed.). Springer, p. 165-180 16 p. (Lecture Notes in Computer Science; vol. 5563).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2008

    A Landscape of Bidirectional Model Transformations

    Stevens, P., 2008, Generative and Transformational Techniques in Software Engineering II. Lämmel, R., Visser, J. & Saraiva, J. (eds.). Springer, Vol. 5235. p. 408-424 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards an Algebraic Theory of Bidirectional Transformations

    Stevens, P., 2008, Graph Transformations. Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Springer, p. 1-17 17 p. (Lecture Notes in Computer Science; vol. 5214).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 2007

    06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)

    Brinksma, E., Harel, D., Mader, A., Stevens, P. & Wieringa, R., 2007, Methods for Modelling Software Systems (MMOSS). Brinksma, E., Harel, D., Mader, A., Stevens, P. & Wieringa, R. (eds.). Dagstuhl, Germany: Schloss Dagstuhl International Conference and Research Center for Computer Science, 17 p. (Dagstuhl Seminar Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 06351 Summary -- Methods for Modelling Software Systems (MMOSS)

    Brinksma, E., Harel, D., Mader, A., Stevens, P. & Wieringa, R., 2007, Methods for Modelling Software Systems (MMOSS). Brinksma, E., Harel, D., Mader, A., Stevens, P. & Wieringa, R. (eds.). Dagstuhl, Germany: Schloss Dagstuhl International Conference and Research Center for Computer Science, 4 p. (Dagstuhl Seminar Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions

    Stevens, P., 2007, Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings. Engels, G., Opdyke, B., Schmidt, D. & Weil, F. (eds.). Springer, p. 1-15 15 p. (Lecture Notes in Computer Science; vol. 4735).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2005

    A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench

    Stevens, P., 2005, Feature interactions in telecommunications and software systems VIII. Reiff-Marganiec, S. & Ryan, M. (eds.). IOS Press, p. 35-36 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Changing notions of trust and compliance: their implications for personalisation of eHealth systems for maternity care

    Stevens, P., 2005, Proc. Workshop on Personalisation for E-Health, at 10th International Conference on User Modeling, Edinburgh, UK 24th-29th July 2005. p. 71-74 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2004

    Analysing UML 2.0 activity diagrams in the software performance engineering process

    Canevet, C., Gilmore, S., Hillston, J., Kloul, L. & Stevens, P., 2004, Proceedings of the 4th international workshop on Software and performance. New York, NY, USA: ACM, p. 74-78 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2003

    Games for UML Software Design

    Stevens, P. & Tenzer, J., 2003, Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Boer, F., Bonsangue, M., Graf, S. & Roever, W-P. (eds.). Springer, p. 467-486 20 p. (Lecture Notes in Computer Science; vol. 2852).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modelling Recursive Calls with UML State Diagrams

    Tenzer, J. & Stevens, P., 2003, Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Pezzè, M. (ed.). Springer, p. 135-149 15 p. (Lecture Notes in Computer Science; vol. 2621).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • UML and Concurrency

    Stevens, P., 2003, Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings. Börger, E., Gargantini, A. & Riccobene, E. (eds.). Springer, p. 151-166 16 p. (Lecture Notes in Computer Science; vol. 2589).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • UML for Global Computing

    Baumeister, H., Koch, N., Kosiuczenko, P., Stevens, P. & Wirsing, M., 2003, Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers. Priami, C. (ed.). Springer, p. 1-24 24 p. (Lecture Notes in Computer Science; vol. 2874).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2002

    Enriching OCL Using Observational Mu-Calculus

    Bradfield, J., Filipe, J. & Stevens, P., 2002, Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings. Kutsche, R-D. & Weber, H. (eds.). Springer, p. 50-76 27 p. (Lecture Notes in Computer Science; vol. 2306).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • How should software evolution and maintenance be taught?

    van Deursen, A., Lethbridge, T. C. & Stevens, P., 2002, Software Maintenance, 2002. Proceedings. International Conference on. p. 248-250 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Playing Games with Software Design

    Stevens, P., 2002, Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings. Arbab, F. & Talcott, C. (eds.). Springer, 1 p. (Lecture Notes in Computer Science; vol. 2315).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2001

    Functional programming languages for verification tools: experiences with ML and Haskell

    Leucker, M., Noll, T., Stevens, P. & Weber, M., 2001, Proceedings 3rd Scottish Functional Programming Workshop. 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • On Associations in the Unified Modelling Language

    Stevens, P., 2001, «UML» 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference Toronto, Canada, October 1–5, 2001 Proceedings. Gogolla, M. & Kobryn, C. (eds.). Springer, p. 361-375 15 p. (Lecture Notes in Computer Science; vol. 2185).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On Use Cases and Their Relationships in the Unified Modelling Language

    Stevens, P., 2001, Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Hussmann, H. (ed.). Springer, p. 140-155 16 p. (Lecture Notes in Computer Science; vol. 2029).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Small-scale XMI programming: a revolution in UML tool use?

    Stevens, P., 2001, Proceedings of XML Technologies and Software Engineering (XSE2001). 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1999

    Aggregation

    Evans, A., France, R. B., Genilloud, G., Henderson-Sellers, B. & Stevens, P., 1999, Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. p. 55-56 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Some Issues in the Software Engineering of Verification Tools

    Stevens, P., 1999, Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings. Cleaveland, W. (ed.). Springer, p. 435-438 4 p. (Lecture Notes in Computer Science; vol. 1579).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • UML for describing product-line architectures?

    Stevens, P., 1999, ECOOP Workshop on Object Technology for Product-Line Architectures. 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1998

    Observational mu calculus

    Bradfield, J. & Stevens, P., Aug 1998, Proceedings of Fixed Points in Computer Science FICS'98. 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Abstract games for infinite state processes

    Stevens, P., 1998, CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings. Sangiorgi, D. & de Simone, R. (eds.). Springer, p. 147-162 16 p. (Lecture Notes in Computer Science; vol. 1466).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Abstract interpretations of games

    Stevens, P., 1998, Proc. 2nd International Workshop on Verification, Model Checking and Abstract Interpretation, VMCAI'98.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Practical model-checking using games

    Stevens, P. & Stirling, C., 1998, Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings. Steffen, B. (ed.). Springer, Vol. 1384. p. 85-101 17 p. (Lecture Notes in Computer Science; vol. 1384).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Report of Working Group on Reengineering Patterns

    Stevens, P., 1998, Object-Oriented Technology: ECOOP’98 Workshop Reader: ECOOP’ 98 Workshops, Demos, and Posters Brussels, Belgium, July 20–24, 1998 Proceedings. Springer, p. 89-92 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Systems Reengineering Patterns

    Stevens, P. & Pooley, R., 1998, Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM, p. 17-23 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File