Grischenko, V.N., Institute of Software Systems NAS of Ukraine
-
No 2 (2003) - Theory and Methodology of Programming
The Formal method of Component Basic Programming
Abstract Без заголовку (Русский) -
No 4 (2003) - Methods and facilities of software engineering
The algebraic model refactoring of components
Abstract PDF (Українська)