Fundamental Approaches to Software Engineering
Publication year: 2019
: 978-3-030-16722-6
This book cover software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
: Computer Science / formal logic / model checking / model-driven development / program compilers / program debugging / System Performance and Evaluation / requirements engineering / semantics / software architecture / software engineering / software evaluation / software evolution / software system models / specifications / theorem proving / Programming Languages, Compilers, Interpreters / The Computing Profession / Theory of Computation / Simulation and Modeling
