Ina Schaefer – författare
1 123 kr
Skickas inom 10-15 vardagar
565 kr
Skickas inom 10-15 vardagar
565 kr
Skickas inom 10-15 vardagar
454 kr
Skickas inom 10-15 vardagar
565 kr
Skickas inom 10-15 vardagar
454 kr
Skickas inom 10-15 vardagar
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
565 kr
Skickas inom 10-15 vardagar
714 kr
Läs direkt efter köp
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 and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
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
565 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
566 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
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. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
1 123 kr
Skickas inom 10-15 vardagar
1 459 kr
Läs direkt efter köp
486 kr
Skickas inom 3-6 vardagar
565 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
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 presented in this volume were carefully reviewed and selected from 80 submissions. They are organized in topical sections named: models and synthesis; testing and fault localization; modeling; verification; modeling and adaptation; and applications.