О синтезе программ на языке Java по алгеброалгоритмическим спецификациям

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям

Рассмотрены средства алгоритмических описаний для представления последовательных и асинхронных алгоритмов для их формализованного проектирования. Предложены алгоритмы диалогового конструирования алгоритмов и генерации программ на целевых языках программирования. Описан метод синтеза многопоточных п...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2006
Hauptverfasser: Дорошенко, А.Е., Яценко, Е.А.
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут програмних систем НАН України 2006
Schlagworte:
Інструментальні засоби і середовища програмування
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/2334
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:О синтезе программ на языке Java по алгеброалгоритмическим спецификациям / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2006. — N 4. — С. 58-70. — Бібліогр.: 15 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-2334
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
spellingShingle О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
Дорошенко, А.Е.
Яценко, Е.А.
Інструментальні засоби і середовища програмування
title_short О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
title_full О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
title_fullStr О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
title_full_unstemmed О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
title_sort о синтезе программ на языке java по алгеброалгоритмическим спецификациям
author Дорошенко, А.Е.
Яценко, Е.А.
author_facet Дорошенко, А.Е.
Яценко, Е.А.
topic Інструментальні засоби і середовища програмування
topic_facet Інструментальні засоби і середовища програмування
publishDate 2006
language Russian
publisher Інститут програмних систем НАН України
format Article
title_alt Про синтез програм мовою Java за алгеброалгоритмічними специфікаціями
About the synthesis of Java programs by algebraalgorithmic specifications
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.
issn 1727-4907
url https://nasplib.isofts.kiev.ua/handle/123456789/2334
citation_txt О синтезе программ на языке Java по алгеброалгоритмическим спецификациям / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2006. — N 4. — С. 58-70. — Бібліогр.: 15 назв. — рос.
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
first_indexed 2025-11-29T09:56:48Z
last_indexed 2025-11-29T09:56:48Z
_version_ 1850854749058891776

Ähnliche Einträge