Documents

[Main]

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 року Верифікація програм заснована на автоматизованій побудові тестових прикладів PDF
Конференція Інженерія програмного забезпечення 2009 (НАУ) Оцінювання якості прикладного програмного забезпечення на основі метрик та модульних тестів PDF
Конференція студентів, аспірантів та викладачів ЗДІА 2009 Методика автоматизованої трансформації формальних специфікацій у програмний код, що виконується PDF
Тезисы конференции TAAPSD 2008 Run-time верификация в композиционно-номинативном языке Script.NET (на украинском) тезисы
презентация
Z-Notation Analysys (part II) Композиционно-номинативный подход к спецификации програмных систем в Z-Notation PDF
Z-Notation Analysys (part I) Композиционно-номинативный подход к построению семантики Z-Notation PDF
Перевод статьи по 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 PDF
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тектур програмних систем PDF
TAAPSD 2006 Тези TAAPSD 2006 PDF
TAAPSD 2005 Тези TAAPSD 2005. О реализации системы САД под Windows PDF
DSMSI 2007 Тези DSMSI 2007. Семантика языка Z-Notation PDF
Master's Thesis Formal methods in requirements engineering PDF
INTSPEI P-Explorer INTSPEI P-Explorer: integration tool for software projects PDF
ITEA Conference 2007 Інформаційні технології в підтримку освітнього процесу для людей з вадами зору. Система FENESTRA PDF
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. Ее использование в математике и обработке требований к программному обеспечению PDF
Foostep Presentation Foostep Presentation PDF
Desing and Implemenation of Multi-Agent System Система управления агентами в среде .NET PDF
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