Perdita Stevens
Orcid: 0000-0002-3975-7612Affiliations:
- University of Edinburgh, UK
According to our database1,
Perdita Stevens
authored at least 69 papers
between 1998 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
2021
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
2020
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels.
Softw. Syst. Model., 2020
Maintaining consistency in networks of models: bidirectional transformations in the large.
Softw. Syst. Model., 2020
2018
Dagstuhl Reports, 2018
Comput. Sci. Educ., 2018
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018
2017
J. Object Technol., 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017
2016
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper).
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016
Proceedings of the A List of Successes That Can Change the World, 2016
Proceedings of the Bidirectional Transformations, 2016
2015
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015
2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014
2013
Softw. Syst. Model., 2013
Proceedings of the Educators' Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
2012
Observations relating to the equivalences induced on model sets by bidirectional transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus.
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
2010
Softw. Syst. Model., 2010
2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
2007
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007
2006
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams.
Formal Aspects Comput., 2006
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006
Using UML - software engineering with objects and components, Second Edition.
Addison Wesley object technology series, Addison-Wesley, ISBN: 978-0-321-26967-6, 2006
2005
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
Int. J. Softw. Tools Technol. Transf., 2005
A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
Proceedings of the Fourth International Workshop on Software and Performance, 2004
2003
Proceedings of the Global Computing. Programming Environments, 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
2002
Softw. Test. Verification Reliab., 2002
Softw. Syst. Model., 2002
ACM SIGSOFT Softw. Eng. Notes, 2002
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002
Proceedings of the Formal Methods for Components and Objects, 2002
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
2001
Proceedings of the «UML» 2001, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Pearson Studium, ISBN: 978-3-8273-7003-7, 2001
1999
IEE Proc. Softw., 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
UML for Describing Product-Line Architectures?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
Aggregation.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
1998
Int. J. Softw. Tools Technol. Transf., 1998
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998
Report of Working Group on Reengineering Patterns.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998