Абстрактный класс
это описание (спецификация) будущих возможностей, которые будут обеспечены в дальнейшем производными классами.
вычислительная модель, состоящая из ограниченного числа состояний и переходов между этими состояниями, возможно сопутствующими действиями.
Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Исследуются условия, при которых поведение взаимодействующих компонент можно описать расширенным автоматом без перехода к эквивалентным конечным автоматам.
Инструментальное средство UniMod позволяет проектировать и исполнять автоматные программы. Основное его ограничение возможность только визуального описания конечных автоматов. В статье рассматриваются текстовый язык автоматного программирования FSML (Finite State Machine Language) и его редактор, позволяющие описывать автоматы в указанном средстве с помощью текстового языка автоматного программирования.
это описание (спецификация) будущих возможностей, которые будут обеспечены в дальнейшем производными классами.
свойство, характеризующее возможность приспосабливаться к обнаружению ошибок и их устранению.
предназначены для разработки новых программ на конкретном языке программирования и включают в себя компилято- 83 ры, интерпретаторы, диалоговую среду, редакторы текстов, библиотеки стандартных подпрограмм, компоновщики, отладчики, справочные службы и т.д.