http://vit-r.livejournal.com/666009.html - про требования (советует книгу "Mastering The Requirements Process" - http://dump.bitcheese.net/files/yzafugo/Mastering_The_Requirements_Process_-_2nd_Edition.chm ) http://vit-r.livejournal.com/649191.html - какой-то список ключевых слов для гуглений: - von Neumann multiagent formalism - Robin Milner - C.A.R. Hoare - Sally Shlaer и Stephen Mellor [сейчас идёт под маркой Executable UML (xtUML и xUML) - vit_r] - A. J. H. Simons - W. M. L. Holcombe - Complete functional testing using object machines - A theory of regression testing for behaviourally compatible object type Я не настоящий телепат, но по-моему, там вместо имени Хоара должно быть https://en.wikipedia.org/wiki/Communicating_Sequential_Processes http://vit-r.livejournal.com/651246.html - тут, по-моему, описывается эрланг так, будто он является тайным знанием (может, я ошибаюсь: мало тыкал эрланг). Еще приводится способ учитывания состояний системы (в том числе тех, которые должны приводить к ошибкам) - рисование этих самых состояний и переходов таблицами, затем заполнение этих таблиц.