eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Інформатика, кібернетика та обчислювальна техніка >
Випуск 14 >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/11051
|
Название: | Анализ существующих способов создания интерфейса «языки формальных спецификаций — проблемно-ориентированные языки» |
Другие названия: | Analysis of existing methods of creating an interface "formal specification languages - problem-oriented languages" |
Авторы: | Григорьев, А.В. Морозова, О.В. |
Ключевые слова: | проблемно-независимый язык язык формальных спецификаций язык проблемно-ориентированной САПР CASE-технологии база знаний problem-independent language formal specification language the language problem-oriented CAD CASE-technology knowledge base |
Дата публикации: | 18-Ноя-2011 |
Издатель: | Донецкий национальний технический университет |
Библиографическое описание: | А.В. Григорьев, О.В. Морозова. Анализ существующих способов создания интерфейса «языки формальных спецификаций — проблемно-ориентированные языки» // Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 14 (188), Донецк, ДонНТУ, 2011. – С.270-275. |
Аннотация: | В работе выполнен анализ существующих методов организации интерфейсов «языки
формальных спецификаций — проблемно-ориентированные языки». Определены
достоинства и недостатки существующих методов с точки зрения задачи организации
таких интерфейсов в инструментальной оболочке для построения интеллектуальных
САПР. Предложена общая структура построения такого интерфейса |
Описание: | In the analysis of existing methods of the interface
"formal specification languages - problem-oriented
languages." Identified strengths and weaknesses of
existing methods in terms of organizing these
interfaces in the shell tool for building intelligent CAD
systems. A general framework for constructing such an
interface. |
URI: | http://ea.donntu.edu.ua/handle/123456789/11051 |
ISSN: | 1996-1588 |
Располагается в коллекциях: | Публікації у збірниках праць конференцій Випуск 14
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|