Программистам и их менеджерам

[thesz]

Про формальные методы:

1. An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions (1993).
2. An International Survey of Industrial Applications of Formal Methods Volume 2 Case Studies (1993),

Описано много случаев применения формальных методов, для каждого описан контекст, использованные методики и инструменты и в конце описания каждого конкретного применения даны краткие сводки по изменениям характеристик процесса разработки - как изменились денежные затраты, качество, время разработки, связь с рынком и продажами и прочее.

Во втором томе приведены краткие обзоры разнообразных формальных методов (Z notation, VDM и тп).

PS
А то некоторые (не будем показывать пальцем) до сих пор от вида UML картинок приходят в восторг и пляшут радости. ;)