|
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
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
