| Document | Description | Links |
| Desing Patterns reference guide with C# examples (Rus) | Краткий справочник по шаблонам проектирования с примерами на C# (Версия 26 марта 2008) | PDF(~1.2Mb) |
| Z-Notation Analysys | Композиционно-номинативный подход к построению семантики Z-Notation | PDF(~0.6Mb) |
| Перевод статьи по Z-Notation | Соотношение между Z-Notation и логикой предикатов первого порядка, Андрю Мартин | PDF(~0.6Mb) |
| Introduction to Python | Введение в язык программирования Python (презентация) | PDF(~0.6Mb) |
| A critirea based approach to classification of traceability solutions | EWDTS Conference'07 article | |
| Master's Thesis | Formal methods in requirements engineering | |
| Multiverse Concept in Modern Cosmology | Кандидатський Реферат з фiлософii: Концепцiя множинностi свiтiв в сучаснiй космологii. (Концепция множественности миров в современной космологии) | PDF (Ukr) |
| Miscelinious Definitions | Разные полезные определения | doc (eng, rus) |
| Voronoi Diagram (In Ukrainian) | Referat | PDF (Ukr) |
| Composition-Nominative Unversal Algebras | Композиційно-номінативні аспекти програмних алгебр (курсова робота) | PDF (Ukr) |
| Formalization of Arithmetics with ForTheL Language & SAD System | Bachelor Thesis | PDF (Ukr) |
| TAAPSD 2007 | Тези TAAPSD 2007. Композицiйно-номiнативний аналiз архiтектур програмних систем | |
| TAAPSD 2006 | Тези TAAPSD 2006 | |
| TAAPSD 2005 | Тези TAAPSD 2005. О реализации системы САД под Windows | |
| DSMSI 2007 | Тези DSMSI 2007 | |
| Master's Thesis | Formal methods in requirements engineering | |
| Foostep Presentation | Foostep Presentation | |
| RoCoLi Summer School |
I was a participant of the RoCoLi 2005 Summer school.
I have made a presentation during this event.
|
Presentation |
| ERE System | Easy Requirements Environment is a FREE system for managing software requirements. It uses special structuring mechanisms for organizing reaquirements. |
Manual (pdf) ERE presentation ERE How To Example |
| Agent-Manager Architecture | The infrastructure for managing micro-assembly agents developed as a part of Footstep project with .NET Framwork. (Jan-Feb 2006) |
Description Src(C#,VS2005) |
| Conway's Life (Игра Жизнь) | Игра Джона Конвея - Жизнь (реферат) | View |
| CORBA, DCOM, SOA, JRM Comparison | Сравнение технологий CORBA, DCOM, SOA, JRM для построения распределённых систем(презентация) | View |
| Virtual Private Networks | Сети VPN (реферат) | View |
| VDM, RAISE (RSL) And Z comparison | Сравнение формальных методов VDM, RAISE (RSL) & Z-Notation (реферат) |
View (~800Kb) |