You might also like

More about Software Engineering: Specification, Implementation, Verification

• Book details
• Synopsis
• Trending among others

You get 171 loyalty points

Book synopsis

This textbook 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 precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required, in order to produce a successful software project.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

• Full title: Software Engineering: Specification, Implementation, Verification
• Author: Suad Alagic
• Language: English
• Binding: Hardback
• Number of pages: 178
• EAN: 9783319615172
• ISBN: 3319615173
• ID: 16380746
• Publisher: Springer International Publishing AG
• Weight: 490 g
• Dimensions: 163 × 243 × 18 mm
• Date of publishing: 02. October 2017

Trending among others

---

---

---