Inactive Poster
- Posts 2018
- WRZ$
11073.30
Software Engineering: Specification, Implementation, Verification by Suad Alagić (Alagic)
Requirements: Any PDF Reader, 3.2mb
Overview: 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 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.
Genre: Non-Fiction> Programming > Software Design
Download Instructions:
https://uplod.ws/cxlfrtn7pohe
https://douploads.net/i98imdz3h9ck
Requirements: Any PDF Reader, 3.2mb
Overview: 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 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.
Genre: Non-Fiction> Programming > Software Design
Download Instructions:
https://uplod.ws/cxlfrtn7pohe
https://douploads.net/i98imdz3h9ck
Please send a msg for dead links, thank's 
Note: Disable "Adblock" to have a direct link with unlimited download speed !!!
Note: Disable "Adblock" to have a direct link with unlimited download speed !!!