Software Engineering: Specification, Implementation, Verification - Alagić, Suad.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
1 Analysis and Design -- 2 Specification of Constraints -- 3 Implementation Technology -- 4 Mapping Models to Code -- 5 Data Management -- 6 Software Verification.
Keywords: Software engineering; Programming languages (Electronic computers).; Computers; Software Engineering; Programming Languages, Compilers, Interpreters; Models and Principles