Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
Рассматривается разрабатываемый интегрированный инструментарий проектирования и синтеза классов алгоритмов и программ в среде Windows. Инструментарий базируется на алгебро-алгоритмических спецификациях и их диалоговой трансформации. Кроме того, он использует метод диалогового конструирования синта...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1859 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ / Е.А. Яценко, А.С. Мохница // Проблеми програмування. — 2004. — N 2,3. — С. 444-450. — Бібліогр.: 13 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Рассматривается разрабатываемый интегрированный инструментарий проектирования и синтеза классов алгоритмов и программ в
среде Windows. Инструментарий базируется на алгебро-алгоритмических спецификациях и их диалоговой трансформации. Кроме
того, он использует метод диалогового конструирования синтаксически правильных программ и включает поддержку современных
средств визуализированного проектирования объектно-ориентированных программ (UML, Rational Rose и др.).
The developed integrated means of designing and synthesis of algorithm and program classes in Windows environment are considered. The
software is based on algebra-algorithmic specifications and their dialogue transformation. Besides it uses the method of dialogue designing
of syntactically correct programs and includes support of contemporary means of visualized designing of object-oriented programs (UML,
Rational Rose etc.).
|
|---|---|
| ISSN: | 1727-4907 |