Documents

[Main]

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 PDF
Master's Thesis Formal methods in requirements engineering PDF
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тектур програмних систем PDF
TAAPSD 2006 Тези TAAPSD 2006 PDF
TAAPSD 2005 Тези TAAPSD 2005. О реализации системы САД под Windows PDF
DSMSI 2007 Тези DSMSI 2007 PDF
Master's Thesis Formal methods in requirements engineering PDF
Foostep Presentation Foostep Presentation PDF
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)