Languages
Stevens, Perdita.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.; Nestmann, Uwe.; Stevens, Perdita.; SpringerLink (Online service); International Conference on Formal Methods for Open Object-Based Distributed Systems (2003 :)
(Language materials, printed)
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 of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
by:
Katoen, Joost-Pieter.; Stevens, Perdita.; SpringerLink (Online service); TACAS 2002 ((2002 :)
(Language materials, printed)
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 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
Stevens, Perdita.; Wasowski, Andrzej.; SpringerLink (Online service)
(Electronic resources)
Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
Gibbons, Jeremy.; Stevens, Perdita.; SpringerLink (Online service); International Summer School on Bidirectional Transformations ((2016 :)
(Electronic resources)
UML 2003-the unified modeling language = modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings /
by:
Booch, Grady.; Stevens, Perdita.; Whittle, Jon, (1972-); SpringerLink (Online service); UML 2003 ((2003 :)
(Language materials, printed)
Subjects
UML (Computer science)
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Management of Computing and Information Systems.
Database Management.
System design- Congresses.
Programming Languages, Compilers, Interpreters.
Electronic data processing- Distributed processing
Computer software- Development
Computer Science.
Transformations (Mathematics)
Object-oriented programming (Computer science)