語系
Schaefer, Ina.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Fundamental approaches to software engineering18th International Conference, FASE 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
(1998 :); Egyed, Alexander.; Schaefer, Ina.; SpringerLink (Online service)
(書目-電子資源)
Software engineering and formal methods16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
by:
(1998 :); Johnsen, Einar Broch.; Schaefer, Ina.; SpringerLink (Online service)
(書目-電子資源)
Software reuse for dynamic systems in the cloud and beyond14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015 : proceedings /
by:
(1998 :); Schaefer, Ina.; SpringerLink (Online service); Stamelos, Ioannis.
(書目-電子資源)
Principled software developmentessays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
Muller, Peter.; Schaefer, Ina.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Computer software
Software reengineering
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
The Computing Profession.
Cloud computing
Computer Science.
Simulation and Modeling.
System Performance and Evaluation.