Languages
Schaefer, Ina.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
Principled software developmentessays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
Muller, Peter.; Schaefer, Ina.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.