| Document | Description | Links |
| Design Patterns reference guide with C# examples (Rus) | Краткий справочник по шаблонам проектирования с примерами на C# (Версия 26 марта 2008) | PDF(~1.2Mb) |
| Теоретичні та прикладні аспекти побудови програмних систем - TAAPSD 2009 | Оцінка якості модульних тестів на основі метрик |
Тези (PDF) Презентація (PDF) |
Матеріали XVI Всеукраїнської Наукової Конференції, Сучасні Проблеми Прикладної Математики та Інформатики, ЛНУ ім. Івана Франка, Львів, 8-9 жовтня 2009 року | Верифікація програм заснована на автоматизованій побудові тестових прикладів |
| Конференція Інженерія програмного забезпечення 2009 (НАУ) | Оцінювання якості прикладного програмного забезпечення на основі метрик та модульних тестів | |
| Конференція студентів, аспірантів та викладачів ЗДІА 2009 | Методика автоматизованої трансформації формальних специфікацій у програмний код, що виконується | |
| Тезисы конференции TAAPSD 2008 | Run-time верификация в композиционно-номинативном языке Script.NET (на украинском) | тезисы презентация |
| Z-Notation Analysys (part II) | Композиционно-номинативный подход к спецификации програмных систем в Z-Notation | |
| Z-Notation Analysys (part I) | Композиционно-номинативный подход к построению семантики Z-Notation | |
| Перевод статьи по Z-Notation | Соотношение между Z-Notation и логикой предикатов первого порядка, Андрю Мартин | PDF(~0.85Mb) |
| УкрПрог 2008 | Композиционно-номинативный язык программирования Script.NET | PDF(~0.8Mb) |
| 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 | PDF Presentation - PDF |
| Formalization of Arithmetics with ForTheL Language & SAD System | Bachelor Thesis | PDF (Ukr) |
| Composition-Nominative Unversal Algebras | Композиційно-номінативні аспекти програмних алгебр (курсова робота) | PDF (Ukr) |
| TAAPSD 2007 | Тези TAAPSD 2007. Композицiйно-номiнативний аналiз архiтектур програмних систем | |
| TAAPSD 2006 | Тези TAAPSD 2006 | |
| TAAPSD 2005 | Тези TAAPSD 2005. О реализации системы САД под Windows | |
| DSMSI 2007 | Тези DSMSI 2007. Семантика языка Z-Notation | |
| Master's Thesis | Formal methods in requirements engineering | |
| INTSPEI P-Explorer | INTSPEI P-Explorer: integration tool for software projects | |
| ITEA Conference 2007 | Інформаційні технології в підтримку освітнього процесу для людей з вадами зору. Система FENESTRA | |
| 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 |
| VDM, RAISE (RSL) And Z comparison | Сравнение формальных методов VDM, RAISE (RSL) & Z-Notation (реферат) |
View (~800Kb) |
| Multiverse Concept in Modern Cosmology | Кандидатський Реферат з фiлософii: Концепцiя множинностi свiтiв в сучаснiй космологii. (Концепция множественности миров в современной космологии) | PDF (Ukr) |
| UkrProg 2006 Junior | Система обработки формального языка ForTheL. Ее использование в математике и обработке требований к программному обеспечению | |
| Foostep Presentation | Foostep Presentation | |
| Desing and Implemenation of Multi-Agent System | Система управления агентами в среде .NET | |
| Miscelinious Definitions | Разные полезные определения | doc (eng, rus) |
| Voronoi Diagram (In Ukrainian) | Диаграмма Вороного и триангуляция Делоне: реферат с историческими данными и математическими выкладками | PDF (Ukr) |
| RoCoLi Summer School |
I was a participant of the RoCoLi 2005 Summer school.
I have made a presentation during this event.
|
Presentation |
| CORBA, DCOM, SOA, JRM Comparison | Сравнение технологий CORBA, DCOM, SOA, JRM для построения распределённых систем(презентация) | View |
| Virtual Private Networks | Сети VPN (реферат) | View |
| Agent-Manager Architecture | The infrastructure for managing micro-assembly agents developed as a part of Footstep project with .NET Framework 2.0. (Jan-Feb 2006) | Description Src(C#,VS2005) |
| Conway's Life (Игра Жизнь) | Игра Джона Конвея - Жизнь (реферат) | View |
Last modification: 07 September 2009