Description
This ebook, Software Engineering and Formal Methods (PDF), presents the rigorously reviewed proceedings from the esteemed 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. This significant event took place in Oslo, Norway, in September 2019 and gathered leading experts in the field.
Within this compilation, you will find 27 meticulously selected full papers, chosen from an impressive pool of 89 submissions. These contributions span a diverse array of critical topics, engaging with contemporary challenges in software engineering. Key areas covered include testing methodologies, formal verification techniques, runtime verification processes, innovative program analysis, malware detection strategies, attack detection mechanisms, as well as the complexities of software development and evolution.
The papers presented in this volume address a wide spectrum of systems, with specific emphasis on cyber-physical systems, unmanned aerial vehicles (UAVs), autonomous robotics, and both feature-oriented and operating systems. The proceedings are thoughtfully categorized into several focused sections, making it easier to navigate through the wealth of knowledge shared. These sections include:
– Cyber-Physical Systems
– Feature-Oriented and Versioned Systems
– Cooperative Asynchronous Systems
– Model Inference
– Ontologies and Machine Learning
– Model-Based Testing
– Program Analysis
– Relating Models and Implementations
– Runtime Verification
– Operating Systems
– Security Practices
– Verification Techniques
This comprehensive ebook serves as a valuable resource for researchers, practitioners, and students who are keen to deepen their understanding of Software Engineering and Formal Methods. Whether you’re interested in theoretical foundations or practical applications, this collection is an essential guide to the latest advancements in the field.
ISBN: 978-3-030-29568-0, 978-3-030-29569-7.
Reviews
There are no reviews yet.