MPG.eBooks - Author Search Results

Perdita Stevens

Perdita Emma Stevens (born 1966) is a British mathematician, theoretical computer scientist, and software engineer who holds a personal chair in the mathematics of software engineering as part of the School of Informatics at the University of Edinburgh. Her research includes work on model-driven engineering, including model transformation, model checking, and the Unified Modeling Language. Provided by Wikipedia

Cover Image

1

How to write good programs : a guide for students

by Stevens, Perdita
Published 2020

Cambridge University Press

Cover Image

2

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

by Stevens, Perdita
Published 2003

Springer Berlin Heidelberg

Cover Image

3

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice o...

by Katoen, Joost-Pieter
Published 2002

Springer-Verlag Berlin Heidelberg

Other Authors: “...Stevens, Perdita...”

Cover Image

4

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...

Published 2016

Springer Berlin Heidelberg

Other Authors: “...Stevens, Perdita...”

Cover Image

5

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

by Najm, Elie
Published 2003

Springer Berlin Heidelberg

Other Authors: “...Stevens, Perdita...”

Cover Image

6

Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Published 2018

Springer International Publishing

Other Authors: “...Stevens, Perdita...”

Cover Image

7

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice...

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Stevens, Perdita...”

Cover Image

8

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Stevens, Perdita...”

Cover Image

9

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Stevens, Perdita...”