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...
Saved in:
| Date: | 2015 |
|---|---|
| Main Author: | Grischenko, V.N. |
| Format: | Article |
| Language: | Russian |
| Published: |
PROBLEMS IN PROGRAMMING
2015
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programmingSimilar Items
-
The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025) -
Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017) -
Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018) -
Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018) -
Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010)