Perdita Stevens
Perdita Stevens
Professor of Mathematics of Software Engineering, LFCS, Informatics, University of Edinburgh
Bestätigte E-Mail-Adresse bei inf.ed.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Using UML
P Stevens, RJ Pooley
Addison-Wesley, 1999
609*1999
Bidirectional model transformations in QVT: semantic issues and open questions
P Stevens
Software & Systems Modeling 9 (1), 7, 2010
2432010
Bidirectional model transformations in QVT: Semantic issues and open questions
P Stevens
International Conference on Model Driven Engineering Languages and Systems, 1-15, 2007
1812007
A landscape of bidirectional model transformations
P Stevens
International Summer School on Generative and Transformational Techniques in …, 2007
1812007
Utilización de UML en Ingeniería del Software con Objetos y Componentes
P Stevens, R Pooley, MF Alarcón, ÓS Martínez, FP Sorrozal
Addison Wesley, 2002
1212002
Practical model-checking using games
P Stevens, C Stirling
International Conference on Tools and Algorithms for the Construction and …, 1998
1131998
Using UML: software engineering with objects and components
P Stevens, RJ Pooley
Pearson Education, 2006
942006
The edinburgh concurrency workbench (version 7)
F Moller, P Stevens
Laboratory for Foundations of Computer Science, University of Edinburgh, UK, 1996
861996
D-PROV: Extending the {PROV} Provenance Model with Workflow Structure
P Missier, S Dey, K Belhajjame, V Cuevas-Vicenttín, B Ludäscher
5th {USENIX} Workshop on the Theory and Practice of Provenance (TaPP 13), 2013
832013
Systems reengineering patterns
P Stevens, R Pooley
ACM SIGSOFT Software Engineering Notes 23 (6), 17-23, 1998
771998
Enriching OCL using observational mu-calculus
J Bradfield, JK Filipe, P Stevens
International Conference on Fundamental Approaches to Software Engineering …, 2002
762002
Performance modelling with the unified modelling language and stochastic process algebras
C Canevet, S Gilmore, J Hillston, M Prowse, P Stevens
Iee proceedings-computers and digital techniques 150 (2), 107-120, 2003
722003
On the interpretation of binary associations in the Unified Modelling Language
P Stevens
Software and Systems Modeling 1 (1), 68-79, 2002
582002
Analysing UML 2.0 activity diagrams in the software performance engineering process
C Canevet, S Gilmore, J Hillston, L Kloul, P Stevens
ACM SIGSOFT Software Engineering Notes 29 (1), 74-78, 2004
562004
Edinburgh Concurrency Workbench user manual (version 7.1)
F Moller, P Stevens
561999
Software engineering with objects and components
P Stevens, R Pooley
Computer Science 4, 2000
462000
Dagstuhl seminar on bidirectional transformations (BX)
Z Hu, A Schurr, P Stevens, JF Terwilliger
ACM SIGMOD Record 40 (1), 35-39, 2011
452011
Modelling recursive calls with UML state diagrams
J Tenzer, P Stevens
International Conference on Fundamental Approaches to Software Engineering …, 2003
452003
Bidirectionally tolerating inconsistency: Partial transformations
P Stevens
International Conference on Fundamental Approaches to Software Engineering …, 2014
442014
On use cases and their relationships in the Unified Modelling Language
P Stevens
International Conference on Fundamental Approaches to Software Engineering …, 2001
432001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20