О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
Рассмотрены средства алгоритмических описаний для представления последовательных и асинхронных алгоритмов для их формализованного проектирования. Предложены алгоритмы диалогового конструирования алгоритмов и генерации программ на целевых языках программирования. Описан метод
 синтеза многопо...
Saved in:
| Date: | 2006 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2334 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | О синтезе программ на языке Java по алгеброалгоритмическим спецификациям / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2006. — N 4. — С. 58-70. — Бібліогр.: 15 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862613704768487424 |
|---|---|
| author | Дорошенко, А.Е. Яценко, Е.А. |
| author_facet | Дорошенко, А.Е. Яценко, Е.А. |
| citation_txt | О синтезе программ на языке Java по алгеброалгоритмическим спецификациям / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2006. — N 4. — С. 58-70. — Бібліогр.: 15 назв. — рос. |
| collection | DSpace DC |
| description | Рассмотрены средства алгоритмических описаний для представления последовательных и асинхронных алгоритмов для их формализованного проектирования. Предложены алгоритмы диалогового конструирования алгоритмов и генерации программ на целевых языках программирования. Описан метод
синтеза многопоточных программ на языке Java по схемам асинхронных алгоритмов.
Розглянуто засоби алгоритмічних описів для подання послідовних і асинхронних алгоритмів для їх формалізованого проектування. Запропоновано алгоритми діалогового конструювання алгоритмів та генерації програм в цільових мовах програмування. Описано метод синтезу багатопоточних програм мовою Java за схемами асинхронних алгоритмів.
The means of algorithmic descriptions for representation of sequential and asynchronous algorithms for their formalized designing are considered. The algorithms of dialogue constructing of algorithms and generating of programs in target programming languages are offered. The method of synthesis of multithreaded programs in Java corresponding to the schemes of asynchronous algorithms is described.
|
| first_indexed | 2025-11-29T09:56:48Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-2334 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-29T09:56:48Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Дорошенко, А.Е. Яценко, Е.А. 2008-09-17T15:02:11Z 2008-09-17T15:02:11Z 2006 О синтезе программ на языке Java по алгеброалгоритмическим спецификациям / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2006. — N 4. — С. 58-70. — Бібліогр.: 15 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2334 681.3 Рассмотрены средства алгоритмических описаний для представления последовательных и асинхронных алгоритмов для их формализованного проектирования. Предложены алгоритмы диалогового конструирования алгоритмов и генерации программ на целевых языках программирования. Описан метод
 синтеза многопоточных программ на языке Java по схемам асинхронных алгоритмов. Розглянуто засоби алгоритмічних описів для подання послідовних і асинхронних алгоритмів для їх формалізованого проектування. Запропоновано алгоритми діалогового конструювання алгоритмів та генерації програм в цільових мовах програмування. Описано метод синтезу багатопоточних програм мовою Java за схемами асинхронних алгоритмів. The means of algorithmic descriptions for representation of sequential and asynchronous algorithms for their formalized designing are considered. The algorithms of dialogue constructing of algorithms and generating of programs in target programming languages are offered. The method of synthesis of multithreaded programs in Java corresponding to the schemes of asynchronous algorithms is described. ru Інститут програмних систем НАН України Інструментальні засоби і середовища програмування О синтезе программ на языке Java по алгеброалгоритмическим спецификациям Про синтез програм мовою Java за алгеброалгоритмічними специфікаціями About the synthesis of Java programs by algebraalgorithmic specifications Article published earlier |
| spellingShingle | О синтезе программ на языке Java по алгеброалгоритмическим спецификациям Дорошенко, А.Е. Яценко, Е.А. Інструментальні засоби і середовища програмування |
| title | О синтезе программ на языке Java по алгеброалгоритмическим спецификациям |
| title_alt | Про синтез програм мовою Java за алгеброалгоритмічними специфікаціями About the synthesis of Java programs by algebraalgorithmic specifications |
| title_full | О синтезе программ на языке Java по алгеброалгоритмическим спецификациям |
| title_fullStr | О синтезе программ на языке Java по алгеброалгоритмическим спецификациям |
| title_full_unstemmed | О синтезе программ на языке Java по алгеброалгоритмическим спецификациям |
| title_short | О синтезе программ на языке Java по алгеброалгоритмическим спецификациям |
| title_sort | о синтезе программ на языке java по алгеброалгоритмическим спецификациям |
| topic | Інструментальні засоби і середовища програмування |
| topic_facet | Інструментальні засоби і середовища програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2334 |
| work_keys_str_mv | AT dorošenkoae osintezeprogrammnaâzykejavapoalgebroalgoritmičeskimspecifikaciâm AT âcenkoea osintezeprogrammnaâzykejavapoalgebroalgoritmičeskimspecifikaciâm AT dorošenkoae prosintezprogrammovoûjavazaalgebroalgoritmíčnimispecifíkacíâmi AT âcenkoea prosintezprogrammovoûjavazaalgebroalgoritmíčnimispecifíkacíâmi AT dorošenkoae aboutthesynthesisofjavaprogramsbyalgebraalgorithmicspecifications AT âcenkoea aboutthesynthesisofjavaprogramsbyalgebraalgorithmicspecifications |