Анализ существующих способов создания интерфейса «языки формальных спецификаций — проблемно-ориентированные языки»
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Анализ существующих способов создания интерфейса «языки формальных спецификаций — проблемно-ориентированные языки»
Analysis of existing methods of creating an interface "formal specification languages - problem-oriented languages" |
|
Creator |
Григорьев, А.В.
Морозова, О.В. |
|
Subject |
проблемно-независимый язык
язык формальных спецификаций язык проблемно-ориентированной САПР CASE-технологии база знаний problem-independent language formal specification language the language problem-oriented CAD CASE-technology knowledge base |
|
Description |
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. В работе выполнен анализ существующих методов организации интерфейсов «языки формальных спецификаций — проблемно-ориентированные языки». Определены достоинства и недостатки существующих методов с точки зрения задачи организации таких интерфейсов в инструментальной оболочке для построения интеллектуальных САПР. Предложена общая структура построения такого интерфейса |
|
Date |
2012-04-09T12:17:01Z
2012-04-09T12:17:01Z 2011-11-18 |
|
Type |
Article
|
|
Identifier |
А.В. Григорьев, О.В. Морозова. Анализ существующих способов создания интерфейса «языки формальных спецификаций — проблемно-ориентированные языки» // Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 14 (188), Донецк, ДонНТУ, 2011. – С.270-275.
1996-1588 http://ea.donntu.edu.ua/handle/123456789/11051 |
|
Publisher |
Донецкий национальний технический университет
|
|