Schaefer, Ina.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Ernst Denert Award for Software Engineering 2019 = Practice Meets Foundations /
by:
Rumpe, Bernhard.; SpringerLink (Online service); Reussner, Ralf.; Prechelt, Lutz.; Felderer, Michael.; Matthes, Florian.; Schaefer, Ina.; Koziolek, Heiko.; Hasselbring, Wilhelm.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
Schaefer, Ina.; SpringerLink (Online service); Johnsen, Einar Broch.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamental Approaches to Software Engineering = 18th 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:
Schaefer, Ina.; Egyed, Alexander.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Ernst Denert Award for Software Engineering 2020 = Practice Meets Foundations /
by:
SpringerLink (Online service); Rumpe, Bernhard.; Koziolek, Heiko.; Hasselbring, Wilhelm.; Reussner, Ralf.; Prechelt, Lutz.; Felderer, Michael.; Matthes, Florian.; Schaefer, Ina.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Principled software development = essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
Muller, Peter.; SpringerLink (Online service); Schaefer, Ina.
(Language materials, printed)
Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
by:
SpringerLink (Online service); Schaefer, Ina.; Müller, Peter.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
IT in Business.
Software engineering.
Theory of Computation.
Computer programming.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronic data processing—Management.
IT Operations.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Software Management.
System Performance and Evaluation.
The Computing Profession.
Business information services.
Management of Computing and Information Systems.
Computer science.
Computer system failures.
Management information systems.
Programming languages (Electronic computers).
Computer software