語系
Dingel, Juergen.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model-driven engineering languages and systems17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014 : proceedings /
by:
(1998 :); Dingel, Juergen.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal techniques for distributed systemsjoint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
(1998 :); Bruni, Roberto.; Dingel, Juergen.; SpringerLink (Online service)
(書目-電子資源)
Models in software engineeringworkshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers /
by:
(1998 :); Dingel, Juergen.; Solberg, Arnor.; SpringerLink (Online service)
(書目-電子資源)
主題
Model-integrated computing
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronic data processing
Model-driven software architecture
Management of Computing and Information Systems.
Programming Techniques.
Computer software
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Science.
Simulation and Modeling.
Computer Communication Networks.
System Performance and Evaluation.
Object-oriented programming (Computer science)