Book Details


Fundamental Approaches to Software Engineering

Publication year: 2019

ISBN: 978-3-030-16722-6

Internet Resource: Please Login to download book

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.

Subject: 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