The Formal method of Component Basic Programming
The approach to construction of formal models of component programming, as bases of component theory creation, is offered. The models of components, component environments and external and internal component algebra are considered. The various aspects of these models and their relations with practic...
Gespeichert in:
Datum: | 2015 |
---|---|
1. Verfasser: | Grischenko, V.N. |
Format: | Artikel |
Sprache: | rus |
Veröffentlicht: |
Інститут програмних систем НАН України
2015
|
Schlagworte: | |
Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Problems in programming |
Institution
Problems in programmingÄhnliche Einträge
-
The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025) -
Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018) -
Formal and adaptive methods and software tools of parallel programming
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017) -
Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018) -
The algebraic model refactoring of components
von: Grischenko, V.N.
Veröffentlicht: (2015)