Includes supplementary material: sn.pub/extras
Manfred Broy
Software Tools design development formal methods modeling repositories requirements engineering semantics software software architecture software architectures software development software engineering verification