Peter Müller is Full Professor and Head of the Chair of Programming Methodology at ETH Zurich since August 2008. His research focuses on languages, techniques, and tools for the development of correct software. His previous appointments include a position at Microsoft Research in Redmond, an Assistant Professorship at ETH Zurich, and a position at Deutsche Bank in Frankfurt.
Ina Schaefer is Full Professor and Head of the Institute of Software Engineering and Automotive Informatics at TU Braunschweig since April 2012. Her research focus is software variability and software evolution in all phases of software development, in particular in quality assurance and re-engineering. Previously, she was postdoc at Chalmers University of Technology in Gothenburg, Sweden. She completed her Ph D in 2008 at TU Kaiserslautern, supervised by Arnd Poetzsch-Heffter.
7 หนังสืออิเล็กทรอนิกส์โดย Ina Schaefer
Peter Müller & Ina Schaefer: Principled Software Development
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach thi …
PDF
อังกฤษ
€96.29
Marco Bernardo & Ferruccio Damiani: Formal Methods for Executable Software Models
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, S …
PDF
อังกฤษ
DRM
€57.99
Ina Schaefer & Ioannis Stamelos: Software Reuse for Dynamic Systems in the Cloud and Beyond
This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. …
PDF
อังกฤษ
DRM
€57.74
Einar Broch Johnsen & Ina Schaefer: Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018 …
EPUB
อังกฤษ
DRM
€57.59
Alexander Egyed & Ina Schaefer: Fundamental Approaches to Software Engineering
This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joi …
PDF
อังกฤษ
DRM
€57.17
Michael Felderer & Wilhelm Hasselbring: Ernst Denert Award for Software Engineering 2019
This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst De …
PDF
อังกฤษ
DRM
€3.80
Michael Felderer & Wilhelm Hasselbring: Ernst Denert Award for Software Engineering 2020
This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst …
PDF
อังกฤษ
DRM
€3.84