Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings: 11724 - Brossura

Brossura

ISBN 10: 3030304450 ISBN 13: 9783030304454

Casa editrice: Springer, 2019

Riassunto

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.<br><br><div>The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers&nbsp;cover a large variety of topics, including testing, formal&nbsp;verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide&nbsp;range of systems, such as cyber-physical systems, UAVs, autonomous robots,&nbsp;and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.</div>

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 3030304450
• ISBN 13: 9783030304454
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 568
• Redattore: Ölveczky Peter Csaba, Salaün Gwen
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; 69115; Germania