Software Engineering: Specification, Implementation, Verification

• Κύριος συγγραφέας: Alagić, Suad (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Models and Principles.

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how pre...