This book uses practical mission critical examples to teach readers how to use the UML as a visual, accurate, and computer understandable specification language. It then teaches readers how to use computer-aided tools to prune out specification ambiguities and to apply the resulting computer understandable specification language toward computer-aided verification. As modern systems become more complex and pervasive, developers and customers are increasingly dependent on software-based systems that control many aspects of our lives. Developers and managers are increasingly worried whether their software would work as specified; customers are also concerned whether developers have built the software in a way that conforms with the customers requirements. This book teaches readers how to use the UML as a visual, accurate, and computer understandable specification language. It then teaches readers how to use computer-aided tools to prune out specification ambiguities and...

Под заказ:
	OZON.ru - 3300 руб.	Перейти

Рейтинг книги: 5 из 5, 4 голос(-ов).