Ina Schaefer – författare
Visar alla böcker från författaren Ina Schaefer. Handla med fri frakt och snabb leverans.
19 produkter
Principled Software Development
Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Häftad, 2018
1126 kr
Lägg i varukorg
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 this challenge from various perspectives including programming languages, program verification, and the …
Ernst Denert Award for Software Engineering 2019
Practice Meets Foundations
Av Michael Felderer, Wilhelm Hasselbring m. fl.
Inbunden, 2020
566 kr
Lägg i varukorg
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 Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which …
Ernst Denert Award for Software Engineering 2020
Practice Meets Foundations
Av Michael Felderer, Wilhelm Hasselbring m. fl.
Inbunden, 2022
566 kr
Lägg i varukorg
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 Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which …
Ernst Denert Award for Software Engineering 2020
Practice Meets Foundations
Av Michael Felderer, Wilhelm Hasselbring m. fl.
Häftad, 2022
455 kr
Lägg i varukorg
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 Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which …
Ernst Denert Award for Software Engineering 2022
Practice Meets Foundations
Av Eric Bodden, Michael Felderer m. fl.
Inbunden, 2024
566 kr
Lägg i varukorg
This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2022. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which …
Ernst Denert Award for Software Engineering 2022
Practice Meets Foundations
Av Eric Bodden, Michael Felderer m. fl.
Häftad, 2024
455 kr
Lägg i varukorg
This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2022. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which …
Software and Systems Reuse, Product Lines, and Configuration -- VARIABILITY 2026 Satellite Events
Limassol, Cyprus, September 29–October 2, 2026, Proceedings
Av Gilles Perrouin, Thorsten Berger m. fl.
Häftad, 2026
813 kr
Lägg i varukorg
This book constitutes the proceedings of the Satellite Events at the First International Conference on Software and Systems Reuse, Product Lines, and Configuration, VARIABILITY 2026, which took place in Limassol, Cyprus, during Sepotember/October 2026. Out of the 115 submisisons, 2 – Workshop …
Software and Systems Reuse, Product Lines, and Configuration
First International Conference, VARIABILITY 2026, Limassol, Cyprus, September 29–October 2, 2026, Proceedings
Av Gilles Perrouin, Thorsten Berger m. fl.
Häftad, 2026
875 kr
Kommande
This book constitutes the proceedings of the First International Conference on Software and Systems Reuse, Product Lines, and Configuration, VARIABILITY 2026, which took place in Limassol, Cyprus, during Sepotember/October 2026. The 20 full papers along with 6 short papers, were accepted from 115 …
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Av Marco Bernardo, Ferruccio Damiani m. fl.
Häftad, 2014
566 kr
Lägg i varukorg
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, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models …
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Av Ina Schaefer, Einar Broch Johnsen m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
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, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models …
Software Reuse for Dynamic Systems in the Cloud and Beyond
14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Av Ina Schaefer, Ioannis Stamelos
Häftad, 2014
566 kr
Lägg i varukorg
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. The 21 revised full papers presented together with 3 revised short papers were carefully reviewed …
Software Reuse for Dynamic Systems in the Cloud and Beyond
14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Av Ioannis Stamelos, Ina Schaefer
E-bok, 2014
739 kr
Lägg i varukorg
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. The 21 revised full papers presented together with 3 revised short papers were carefully reviewed …
Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Av Einar Broch Johnsen, Ina Schaefer
Häftad, 2018
566 kr
Lägg i varukorg
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.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. …
Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Av Ina Schaefer, Einar Broch Johnsen
E-bok, 2018
739 kr
Lägg i varukorg
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. The 17 full papers presented in this book were carefully reviewed and selected from 58 …
Principled Software Development
Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Inbunden, 2018
1126 kr
Lägg i varukorg
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 this challenge from various perspectives including programming languages, program verification, and the …
Principled Software Development
Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
E-bok, 2018
1455 kr
Lägg i varukorg
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 this challenge from various perspectives including programming languages, program verification, and the …
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
Av Alexander Egyed, Ina Schaefer
Häftad, 2015
566 kr
Lägg i varukorg
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 Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 22 full papers and 1 short paper …
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
Av Ina Schaefer, Alexander Egyed
E-bok, 2015
755 kr
Lägg i varukorg
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 Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 22 full papers and 1 short paper …
