語系
Stevens, Perdita.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
UML 2003-the unified modeling languagemodeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings /
by:
(1998 :); Booch, Grady.; SpringerLink (Online service); Stevens, Perdita.; Whittle, Jon, (1972-)
(書目-電子資源)
Bidirectional transformationsInternational Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
(1998 :); Gibbons, Jeremy.; SpringerLink (Online service); Stevens, Perdita.
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems8th 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:
(1998 :); Katoen, Joost-Pieter.; SpringerLink (Online service); Stevens, Perdita.
(書目-電子資源)
Formal methods for open object-based distributed systems6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings /
by:
(1998 :); Najm, Elie.; Nestmann, Uwe.; SpringerLink (Online service); Stevens, Perdita.
(書目-電子資源)
Fundamental approaches to software engineering19th 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:
(1998 :); SpringerLink (Online service); Stevens, Perdita.; Wasowski, Andrzej.
(書目-電子資源)
主題
UML (Computer science)
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Electronic data processing
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Management of Computing and Information Systems.
Database Management.
System design
Programming Languages, Compilers, Interpreters.
Computer Science.
Transformations (Mathematics)
Object-oriented programming (Computer science)