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.
?Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Essentials of Software Engineering, 4th Edition Название: Essentials of Software Engineering, 4th Edition Автор: Frank Tsui, Orlando Karam, Barbara Bernal Издательство: Jones & Bartlett...
Software Engineering 9th Edition Название: Software Engineering 9th Edition Автор: Ian Sommerville Издательство: Pearson Год: 2010 Формат: PDF Страниц: 792 Для сайта: Mirknig.su ...
Fundamendals of software engineering Название: Fundamendals of software engineering Автор: Joe Williamson Издательство: Amazon Digital Services LLC ASIN: B07K6SLBJD Год: 2018 ...
Fundamentals of Software Engineering (2nd Edition) Название: Fundamentals of Software Engineering (2nd Edition) Автор: Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli Издательство: Pearson, Prentice Hall...
Software Engineering for Science Название: Software Engineering for Science Автор: Jeffrey C. Carver and Neil P. Chue Hong Издательство: CRC Press Год: 2016 Формат: PDF Размер: 15...
Навигация
Вход на сайт
Реклама
Software Engineering: Specification, Implementation, Verification 
