|
|
libcats.org
Validated Designs for Object-Oriented SystemsJohn S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel VerhoefValidated Designs for Object-oriented Systems displays how well-established modelling techniques based on UML can be enhanced with rigorous yet accessible specification features allowing the modelling of data & functionality in a formal language, VDM++, based on the ISO Standard Vienna Development MethodÆs Specification Language. Opening with a review of the basic concepts in object-orientation & UML, the book adds modelling & analytic power step by step, dealing with enhanced data types, recording logical constraints & specifying functionality. This builds to give a ôround-tripö approach in which architectural and design views are kept in synchronisation as models are developed, analysed and refined. Validated Designs for Object-oriented Systems introduces formal techniques with a light touch. An industrial tool set is used to support the concepts and techniques as they are introduced. The numerous supporting examples & case studies are based on real industrial applications of the technology.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Asimov, Isaac - Black Widowers 02 - Bouquets of the Black WidowersАвтор: Asimov Isaac
Размер книги: 558 Kb
Волшебный бисер. Вышивка бисером.Автор: Р.П.Гашицкая, Автор: О.В.ЛевинаКатегория: ХОББИ и РЕМЕСЛА, ДОМ и СЕМЬЯ
Размер книги: 7.22 Mb
Globalization of R&d and Developing Countries: Proceedings of an Expert Meeting (Geneva, 24-26 January 2005)Автор: United Nations
Размер книги: 8.72 Mb
Natural Colorants for Food and Nutraceutical UsesАвтор: Francisco Delgado-Vargas, Автор: Octavio Paredes-Lopez
Размер книги: 6.13 Mb
Елементарний підручник фізики. Том 3. Коливання, хвилі, оптика, будова атомаАвтор: Ландсберг Г.С.
Размер книги: 13.70 Mb
|
|
|