РАЗДЕЛ:
Computer Scienc.../
Теоретическое программирование/
Спецификация и верификация/
Начало
Выше
Formal Methods Europe
Перейти
Москвитин А.А. Измерение ресурсов пользователей в языках спецификаций задач
Перейти
Formal Methods
Перейти
Model Checking at CMU
Перейти
The Z notation
Перейти
Formal Specification of Object-Oriented Design
Перейти
CoCoViLa - компилятор компиляторов визуальных языков спецификации
Перейти
Милопулос Дж., Чунг Л., Никсон Б.А. Представление и использование нефункциональных требований: процессно-ориентированный подход
Перейти
Abstract State Machines
Перейти
Jones C. B. Systematic Software Development using VDM
Перейти
Formal Specification: a Roadmap
Перейти
Higher-level verification with BDDs
Перейти
Formal Methods Group / The University of Manchester
Перейти
VDM Information
Перейти
Formal Methods in System Design
Перейти
Тыугу Э., домашняя страница
Перейти
Моделирование нефункциональных требований
Перейти
The B-Method
Перейти
ProofPower
Перейти
Spivey J.M. The Z Notation: a reference manual
Перейти
РАЗДЕЛ:
