AboutSign inJoin

Perdita Stevens

About

Perdita Emma Stevens 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.

Books

Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
Elie Najm, Perdita Stevens, Uwe Nestmann
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
Elie Najm, Perdita Stevens, Uwe Nestmann
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen, Perdita Stevens
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
Perdita Stevens, Andrzej Wąsowski
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen, Perdita Stevens
How to Write Good Programs
How to Write Good Programs
Perdita Stevens
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
Grady Booch, Perdita Stevens, Jon Whittle

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian