Fundamentals of Software Engineering

Beschreibung

This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025.

The 11 full papers  and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

Autor*in

Hossein Hojjat

Themen in »Fundamentals of Software Engineering«

computer programming software engineering Computer software Distributed Systems Information Systems Programming Languages Concurrency Models of Computation Interactive Computing Semantics Logic design Formal Methods

Stimmen zu »Fundamentals of Software Engineering«

Details

Link teilen