4.4 Цель работы

Поэтому можно считать, что целью работы является демонстрация существования формальных методов проверки того, сохраняет сложная динамическая система в своём поведении те смыслы, которые были заложены в описаниях её частей;
естественно, с учётом главного предположения, в основе которого лежит вообще деление на конструкцию и поведение.

Поэтапность конструирования согласованных систем, образованная специально определёнными элементарными шагами, позволяет гарантированно сохранять ранее сделанные наработки, касающиеся фрагментов поведения и выраженные в модулях конструкции, что здесь и выражается в понятии монотонности роста знания.

Назад Вперёд