|
Содержание (FireFox,Safari)
|
24.9. Результаты
Рассмотрение
семантики позволило
-
проявить
динамическую(!) природу
И-ЛИБО-систем на основе
примеров стоящих за ними
технических систем, а именно отношений
-
обосновать очевидную связь такой динамики с яз илс, обладающим свойством монотонности, то есть, взможность сделать
отдельную(!) запись сложного нового свойства, и проверить его на совметимость со всем ранее сконструированным
-
обосновать способ построения сложных(!) илс, отказавшись од динамического тестирования со строго неопределённой областью покрытия
и заменив её на статический синтез
|