Formal Methods for Software Engineering: Languages, Methods, Application Domains 9783030388003, 9783030387990, 303038800X

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings 3030634051, 9783030634056

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, he

706 41 12MB Read more

Concise Guide to Software Engineering: From Fundamentals to Application Methods 9783319577500, 3319577506

This essential textbook presents a concise introduction to the fundamental principles of software engineering, together

1,189 176 6MB Read more

Formal methods. An appetizer 9783030051556

551 91 1MB Read more

Contemporary Empirical Methods in Software Engineering [1st ed.] 9783030324889, 9783030324896

This book presents contemporary empirical methods in software engineering related to the plurality of research methodolo

2,401 176 13MB Read more

Component-Based Software Engineering: Methods and Metrics 0367354888, 9780367354886

This book focuses on a specialized branch of the vast domain of software engineering: component-based software engineeri

1,474 139 11MB Read more

Component-Based Software Engineering : Methods and Metrics 9780429331749, 9780367354886

Component Based Software Engineering: Methods and Metrics focuses on a specialized branch of the vast domain of software

137 53 Read more

Modern Formal Methods and Applications 9781402042225, 1402042221

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can

107 91 4MB Read more

Optimization Methods for Structural Engineering 9819923778, 9789819923779

This contributed book focuses on optimization methods inspired by nature such as Harmony Search Algorithm, Drosophila Fo

529 117 11MB Read more

Numerical Methods for Scientific and Engineering Computation

11,966 2,177 58MB Read more

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings [1st ed. 2019] 978-3-030-32408-7, 978-3-030-32409-4

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, he

427 84 20MB Read more