Publication on Marek Rychlý

IT Service Management: Education vs. Experience?

Wed, 25 May 2016 00:00:00 +0000

Introduction
- Faculty of Information Technology, Brno Univ. of Technology
- IT Service Management and Governance at BUT FIT
- “IT Service Design and Implementation” Course
Experiential Learning in ITSM and ITG
- Lecturing by ITIL/COBIT Books
- Hands-on Team Projects and Role-play Games
- ITIL Simulator
Summary and future work

Paradigma MapReduce a Apache Hadoop

Wed, 04 May 2016 00:00:00 +0000

BigData, MapReduce, HDFS
- Problematika BigData
- Paradigma MapReduce
- Souborový systém GFS/HDFS
Apache Hadoop
- Rámec a infrastruktura Apache Hadoop
- Vývoj MapReduce aplikací na Hadoop
- Příkazy pro HDFS a Hadoop JobClient
Shrnutí a závěr

Optimalizace dotazů a databázové transakce v Oracle

Mon, 25 Apr 2016 00:00:00 +0000

Optimalizace plánů vykonávání
- Plán vykonávání dotazu
- Optimalizace plánů vykonávání dotazů
- Výpis a analýza plánu vykonávání odtazu
Materializované pohledy
- Materializovaný pohled
- Vytvoření materializovaného pohledu
- Použití materializovaného pohledu
Databázové transakce
- ACID a ovládáná databázové transakce
- Zamykání databázových objektů
- Optimalizace práce s databází bez zmeny dotazů

Application Security

Mon, 01 Feb 2016 00:00:00 +0000

Application Design and Implementation Vulnerabilities
- Buffer Overflow and Integer Overflow
- SQL Injection (SQLI)
- Cross-site Scripting (XSS)
Runtime Environment Vulnerabilities
- Application Code Protection

Database Auditing

Mon, 25 Jan 2016 00:00:00 +0000

Auditing Overview
- Audit and Auditing
- Auditing Environment
- Auditing Process
Auditing Models for Databases
- Simple Auditing Models and an Advanced Auditing Model
- Historical and Application Actions Auditing Models
- Control Columns
Implementation of Database Auditing Models
- Implementation by User-defined Triggers
- Oracle Unified Auditing
- Fine-grained Auditing in Oracle

A Reusable Framework for Systems of Asynchronous Concurrent Processes

Fri, 15 Jan 2016 00:00:00 +0000

Introduction
Asynchronous Network Model
Framework Architecture
1. Vertical View
2. Horizontal View
3. Framework Model
Discussion
1. Relation to Formal Specification and Verification
Conclusion

Virtual Private Databases

Mon, 11 Jan 2016 00:00:00 +0000

Virtual Private Databases
- Fine-grained Access Control in Virtual Private Databases
- Implementation of Virtual Private Databases by VIEWs
- Implementation of Virtual Private Databases by Oracle
Data Masking and Redaction
- Data Masking and Redaction in Relational Databases
- Data Masking in Virtual Private Databases in Oracle
- Data Redaction in Oracle
Security in Statistical Databases
- Statistical Databases
- Securing Statistical Databases

Anti-vzory a zavedené praktiky při vývoji software

Thu, 17 Dec 2015 00:00:00 +0000

Návrhové anti-vzory
Vlastnictví (částí) zdrojového kódu
Zavedené praktiky při vývoji software

Database Application Security

Mon, 14 Dec 2015 00:00:00 +0000

Application and Database Security Models
- Authentication and Authorization for Application and
- Database-level Identities
- Roles and the Proxy User Concept in Oracle Database
- Database Passwords and Connections Vulnerabilities
Database Security Policies
- Writing a Database Security Policy
- Compliance Requirements for Database Security
- Example: Payment Card Industry (PCI) Data Security Standard

Enterprise Service Bus (ESB)

Tue, 08 Dec 2015 00:00:00 +0000

Cesta k ESB
- Enterprise Service Bus (ESB)
- Problémy “accidental architecture”
Enterprise Service Bus (ESB)
- ESB jako Message Oriented Middleware (MOM)
- Přechod od “accidental architecture” k ESB

Identity Management and Access Control

Mon, 07 Dec 2015 00:00:00 +0000

Identity Management
- Digital Identity
- Single Sign-On (SSO) and Trust&Federation
- Identity Management in Databases
Access Control and Access Management
- Access Control and Access Control Models
- Access Control in Databases

Zdokonalování služeb (1. část)

Wed, 02 Dec 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Zdokonalování služeb
- Zdokonalení v 7 krocích
- Upřesnění zadání 5. části projektu
- Prezentace balíčku návrhu služby (z pohledu návrhu služeb)
Shrnutí a závěr

Zdokonalování služeb (2. část)

Wed, 02 Dec 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Zdokonalování služeb
- IT Governance a modely zdokonalování služeb
- Role vlastníka procesu a služby a RACI modely
Shrnutí a závěr
- Prezentace dokumentace zdokonalování služeb

Message Passing Interface 3 (MPI-3)

Tue, 01 Dec 2015 00:00:00 +0000

Paralelní výpočty a komunikace
- Výpočetní modely
- Komunikace instancí programu(ů)
- Modely skupinové komunikace
Message Passing Interface (MPI)
- Point-to-Point komunikace
- Skupinová komunikace
- Datové typy, topologie, komunikátory, vlastní redukující operace, atd.

Introduction to IT Security

Mon, 30 Nov 2015 00:00:00 +0000

Course Content
- Lectures, Assessments, Projects
- Evaluation
- Background on the Course
Introduction to IT Security
- IT Security
- Defect, Vulnerability, Threat, Attack, Incident, …
- Database Security in the Context of IT Security
Oracle Database, Express Edition

Provoz služeb

Wed, 25 Nov 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Provoz služeb
- Service Desk, Technická správa, Správa aplikací, Operační
- správa IT
- Správy incidentů a problémů, Provádění požadavků
- Správa událostí a správa přístupů
Shrnutí a závěr

Webové služby v Java EE (JAX-WS)

Tue, 24 Nov 2015 00:00:00 +0000

Úvod k SOA a webovým službám
- Architektura orientovaná na služby (SOA)
- Webové služby (Web Services)
- Technologie webových služeb (XSD, WSDL a SOAP)
Java API for XML Web Services (JAX-WS)
- Poskytovatel webové služby pomocí JAX-WS
- Spotřebitel webové služby pomocí JAX-WS
- Použití JAX-WS v aplikačním serveru a podpora v IDE
Java API for RESTful Web Services (JAX-RS)
- Representational State Transfer (REST) architektura
- Webové služby pomocí JAX-RS

Service-Oriented Architecture & Java Platform, Enterprise Edition

Thu, 19 Nov 2015 00:00:00 +0000

Architektura orientovaná na služby (SOA)
- Definice, výhody a nevýhody
- Vývojový proces
- Implementační technologie
Java Platform, Enterprise Edition (Java EE)
- Technologie v Java EE
- Architektura aplikace v Java EE
- Srovnání Java EE a konkurenčních produktů
Shrnutí a závěr

Přechod služeb (2. část)

Wed, 18 Nov 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Přechod služeb
- Správa releasů a nasazení
- Upřesnění zadání 4. části projektu
- Prezentace smluv OLA, UC a SLA (z pohledu návrhu služeb)
Shrnutí a závěr

Přechod služeb (1. část)

Wed, 11 Nov 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Přechod služeb
- Správa změn
- Správa aktiv a konfigurace
- Správa znalostí
Shrnutí a závěr

Paradigma MapReduce a Apache Hadoop

Tue, 10 Nov 2015 00:00:00 +0000

BigData, MapReduce, HDFS
- Problematika BigData
- Paradigma MapReduce
- Souborový systém GFS/HDFS
Apache Hadoop
- Rámec a infrastruktura Apache Hadoop
- Vývoj MapReduce aplikací na Hadoop
- Příkazy pro HDFS a Hadoop JobClient
Shrnutí a závěr

Návrh služeb (3. část)

Wed, 04 Nov 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Návrh služeb
- Správa úrovně služeb a správa dodavatelů
- Upřesnění zadání 3. části projektu
- Prezentace finanční analýzy (z pohledu strategie služeb)
Shrnutí a závěr

Softwarové architektury od podnikových procesů k SOA službám

Tue, 27 Oct 2015 00:00:00 +0000

*	Cíle přednášky
*	Předpoklady

Softwarové architektury
- Definice, pozice ve vývojovém procesu
- Přehled architektur
- Problémy a výzvy
- Aktuální trendy
Architektura orientovaná na služby (SOA)
- Definice, výhody a nevýhody
- Vývojový proces
- Nástroje a implementační technologie
Od podnikových procesů k IT službám (případová studie)
- Identifikace služeb
- Specifikace služeb
- Realizace služeb
Shrnutí a závěr

Modelování business procesů v ARIS Toolset

Fri, 23 Oct 2015 00:00:00 +0000

ARIS Toolset
Modelování v ARIS
- Postup při modelování
- Druhy modelů
- Příklad
Shrnutí a závěr

Post-relational, Non-relational, and NoSQL Databases

Thu, 22 Oct 2015 00:00:00 +0000

Multimedia and Spatial Databases in ISO/IEC 13249 SQL/MM
- From SQL to SQL/MM Standard
- SQL/MM Part 5: Still Image
- SQL/MM Part 3: Spatial
Object and XML Databases
- Object Databases
- XML Databases
NoSQL Databases
- Why NoSQL Databases?
- Types of NoSQL Databases
- NoSQL Database Management Systems

Data Warehousing, OLAP, and Data Mining

Wed, 21 Oct 2015 00:00:00 +0000

1 Data warehousing * Data Warehouses and RDBMS/OLTP Systems * Architecture of Data Warehouses * Design of Data Warehouses 2 Online Analytical Processing (OLAP) * OLAP Operations * OLAP Tools 3 Data Mining * Data Mining Techniques

Návrh služeb (2. část)

Wed, 21 Oct 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Návrh služeb
- Správa dostupnosti služeb
- Správa kapacity služeb a správa bezpečnosti informací
- Správa kontinuity služeb
Shrnutí a závěr

Database Performance

Mon, 19 Oct 2015 00:00:00 +0000

Query Processing and Optimization
- Query Decomposition
- Restructuring Query in the Query Decomposition
- Execution Strategy
Query Processing and Optimization in Oracle Database
- Query Execution Plan
- Optimization of Execution Plans
- Explanation of Execution Plans
Performance Optimization by Optimizing Client Access

Temporální a deduktivní databáze

Fri, 16 Oct 2015 00:00:00 +0000

Temporální databáze
- Úvod do temporálních databází
- Jazyk (A)TSQL2 a jeho interprety TimeDB2 a TSQL2lib
- Implementace (A)TSQL2 a problémy v temporálních databázích
Deduktivní databáze
- Úvod do deduktivních databází
- Databáze XSB
- Datalog: definice a dotazování dat, standardní predikáty

Novinky v UML 2.5 a agilní modelování

Thu, 15 Oct 2015 00:00:00 +0000

Novinky v UML 2.5 a doménově specifické jazyky
- Cíl UML 2.5 a nové diagramy
- Ukázka nových diagramů
- Doménově specifické modelovací jazyky
Agilní modelování
- Best Practices
- Agilní vývoj

Návrh služeb (1. část)

Wed, 14 Oct 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Návrh služeb
- Aspekty návrhu služeb
- Správa katalogu služeb
- Prezentace portfolia služeb (z pohledu strategie služeb)
Shrnutí a závěr

Normalization in Database Design

Wed, 14 Oct 2015 00:00:00 +0000

Normalization
- Redundancy Anomalies
- Functional Dependency
- Normal Forms and Process of Normalization
An Example on Normalization
- Normalization into 1NF
- Normalization into 2NF and 3NF
- Normalization into BCNF

Entity-relationship Model

Mon, 12 Oct 2015 00:00:00 +0000

Entity-Relationship Modelling
- Entities and Relationships
- Attributes and Structural Constraints
- Common Problems in ER Modelling

Prostorové a XML databáze

Fri, 09 Oct 2015 00:00:00 +0000

Prostorové databáze
- Úvod do prostorových databází a Oracle Locator/Spatial
- Uložení dat v Oracle Locator/Spatial, indexování
- Dotazování prostorových dat v Oracle a JDBC
XML databáze
- Úvod do XML databází
- Definice XML dat a jejich uložení v Oracle
- Dotazování XML dat v Oracle a přes JDBC

Database Analysis and Design

Mon, 05 Oct 2015 00:00:00 +0000

Database System Development Life-cycle (DSDLC)
- Planning and Requirement Analysis
- Database Design and Data Modelling
- Implementation, Testing, and Maintenance

Úvod do Javy, JDBC a multimediální databáze

Fri, 02 Oct 2015 00:00:00 +0000

Java, JDBC a připojení k Oracle Database
- Úvod do jazyka Java
- Java Database Connectivity (JDBC)
Oracle Multimedia (interMedia)
- Uložení multimédií
- Práce s multimédii vč. vyhledávání

Strategie služeb (1. část)

Wed, 30 Sep 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Strategie služeb
- Z tržního prostoru do katalogu služeb
- Řízení služeb jako strategické aktivum
- Upřesnění zadání 1. části projektu
Shrnutí a závěr

Strategie služeb (2. část)

Wed, 30 Sep 2015 00:00:00 +0000

Úvod
- Opakování
- Cíle přednášky
Strategie služeb
- Strategické řízení, správa zákazníků a portfolia služeb
- Správa požadavků a správa financí
- Upřesnění zadání 2. části projektu
Shrnutí a závěr

Database Transactions

Mon, 28 Sep 2015 00:00:00 +0000

Data Manipulation Language (DML)
- INSERT Statement
- UPDATE and DELETE Statement
- Transaction Support
Concurrency Control
- Concurrency Problems and Serializability
- Concurrency Control Techniques – Locking
- Concurrency Control Techniques – Time-stamping and Others
Database Recovery
- Database Recovery
- Transaction Log (Journal)
- Recovery Techniques

Organizace předmětu INI a úvod do ITIL

Wed, 23 Sep 2015 00:00:00 +0000

Organizace předmětu
- Přednášky
- Projekty a semináře
- Termíny
Úvod do ITIL
- Základní termíny v ITSM
- IT Infrastructure Library (ITIL)
- Životní cyklus IT služby a procesy ITIL
Shrnutí a závěr

Structured Query Language (SQL) – Part 2

Mon, 21 Sep 2015 00:00:00 +0000

Advanced SELECT Queries
- Common Table Expression (CTE)
Data Types and Integrity Enhancement Features
- Identifiers
- Data Types and Domains
- Integrity Enhancement Features
Data Definition Language
- Database Schema and its Tables
- Indices
- Views

Structured Query Language (SQL) – Part 1

Mon, 14 Sep 2015 00:00:00 +0000

Structured Query Language (SQL)
- History of SQL and Relational DBMS
- SELECT Statement
- Sub-queries in the SELECT Statement

Relational Algebra and Calculus

Mon, 07 Sep 2015 00:00:00 +0000

Relational Algebra
- Language
- Operations
Relational Calculus
- Tuple Relational Calculus
- Domain Relational Calculus
- Safety of Relational Calculus Expressions
2nd Assessment

Relational Database Model

Mon, 31 Aug 2015 00:00:00 +0000

Relational Model
- Domain, Relation Schema, and Relation
- Relational Keys
- Relational Integrity Constraints
1st Assessment

Introduction to Databases

Mon, 24 Aug 2015 00:00:00 +0000

Course Content
- Lectures and Assessments
- Evaluation
- Background on the Course
Introduction to Databases
- From File-Based Storage to Database Management Systems
- Database Schema and Data Model
- Database Architecture
Theoretical Background
- Sets and Relations
- Functions

Web Service Migration using the Analytic Hierarchy Process

Sat, 27 Jun 2015 00:00:00 +0000

Introduction
Related Work
Web Service Migration Framework
1. Context Model
2. Service Provider Discovery and Service Migration
AHP in the Migration Decision Process
An Example
Summary

Service Desk and Reporting Management (ITILv3)

Mon, 13 Apr 2015 00:00:00 +0000

Opakování a cíle přednášky
- Cíle přednášky
- Service Desk, IT Operations, Technical & Application
- Management
- Reporting Management
Service Desk
- Service Desk
- Příklady podprocesů a nástrojů
- Spolupráce služeb
Reporting Management
- Reporting Management
- Extract, Transform, Load (ETL)
- Spolupráce služeb a nástroje

Návrh a vývoj softwarových systémů pro zpracování BigData (Věda na FIT 2015)

Wed, 01 Apr 2015 00:00:00 +0000

Capacity Management (ITILv3)

Mon, 30 Mar 2015 00:00:00 +0000

Opakování a cíle přednášky
- Capacity (& Performance) Management
- Cíle přednášky
Capacity (& Performance) Management
- Capacity and Performance Management
- Aktivity a komunikace
- Spolupráce služeb

Service Asset & Configuration Management (ITILv3)

Mon, 23 Mar 2015 00:00:00 +0000

Opakování a cíle přednášky
- Service Asset & Configuration Management
- Cíle přednášky
Service Asset & Configuration Management
- Konfigurace
- Spolupráce služeb
- Praktické příklady

Change Management & Problem Management (ITILv3)

Mon, 16 Mar 2015 00:00:00 +0000

Cíle přednášky a opakování
- Cíle přednášky
- Change Management
- Problem Management
Change Management
- Změna (Change) a její podpora
- Analýza a proces schválení změn
- Spolupráce služeb
Problem Management
- Popis problému
- Řešení problémů
- Spolupráce služeb

Úvod do COBIT

Mon, 09 Mar 2015 00:00:00 +0000

Úvod
- Opakování – ITIL
- Cíle přednášky – COBIT
Control Objectives for Information and Related Technology (COBIT)
- IT Service Management vs. IT Governance
- Rámec COBIT, model, domény a procesy
- Měření splnění cílů a COBIT Maturity Model
Shrnutí a závěr

Úvod do IT Services a Enterprise Systems Management

Mon, 09 Feb 2015 00:00:00 +0000

Úvod a cíle přednášky
IT Services
- Enterprise Systems Management (ESM)
- Modely a kategorizace IT služeb
- Management IT služeb
IT Service Management
- IT Infrastructure Management
- IT Relationship Management
- Spolupráce služeb
IT Infrastructure Library (ITIL)
- ITIL v2 (2000/2001)
- ITIL v3 (2007)

Transparent Data Encryption and Polyinstantiation

Sun, 18 Jan 2015 00:00:00 +0000

Transparent Data Encryption (TDE)
- Transparent Data Encryption in Oracle
- Configuring Transparent Data Encryption in Oracle
Inference Attacks and Polyinstantiation
- Inference Attacks in Mandatory Access Control
- Polyinstantiation and Polyinstantiation Models

Bezpečnost webových služeb v Oracle SOA Suite

Wed, 10 Dec 2014 00:00:00 +0000

Bezpečnost webových služeb v SOA
- Bezpečnostní rizika a výzvy
- Základní bezpečnostní standardy pro webové služby
- Další standardy kolem Web Services Security (WS-Security)
Bezpečnost webových služeb a komponent v Oracle SOA Suite
- Oracle Web Services Manager
- Bezpečnostní politiky v Oracle SOA Suite
- Použití v jDeveloper a Enterprise Manager
Shrnutí a závěr

Testování SOA systémů v Oracle SOA Suite

Wed, 03 Dec 2014 00:00:00 +0000

Testování služeb a komponent SOA a SCA aplikací
- Testování jako součást životního cyklu služby/komponenty
- Principy a problémy testování komponentových aplikací
- Automatizované jednotkové i integrační testy
Testování SCA apl. a komponent v Oracle SOA Suite 11g&12c
- Ruční testování služby v Enterprise Manager
- Automatizované testování komponent v Oracle SOA
- Automatizované testování web-services v soapUI
Shrnutí a závěr

Komponenta Business Rule v Oracle SOA Suite

Wed, 26 Nov 2014 00:00:00 +0000

Popis, vlastnosti a použití komponenty “Business Rule”
- Rozhodovací pravidla a jejich použití
- Volání “Business Rule” a průběh vyhodnocování pravidel
- Zápis rozhodovacích pravidel a použití “Business Rule” v SCA
Práce s komponentou “Business Rule” v jDeveloper
- Nová SCA aplikace a komponenta “Business Rule”
- Nastavení “Business Rule” a přidání nového “Rule Set”
- Napojení “Business Rule” na BPEL proces
Shrnutí a závěr

Komponenta Human Task v Oracle SOA Suite

Wed, 19 Nov 2014 00:00:00 +0000

Popis, vlastnosti a použití komponenty “Human Task”
- SCA komponenta “Human Task”
- Použití komponenty “Human Task” v SCA systému
- Architektura “Human Workflow” v Oracle SOA Suite
Práce s komponentou “Human Task” v jDeveloper
- Nová SCA aplikace a komponenta “Human Task”
- Napojení komponenty “Human Task” na BPEL proces
- Formulář pro komponentu “Human Task” a nasazení na server
Shrnutí a závěr

BPEL aktivity Flow a Pick, kompenzace transakcí v BPEL procesech

Wed, 12 Nov 2014 00:00:00 +0000

BPEL aktivity “Flow” a “Pick”
- Aktivita “Flow” pro definici toku vnořených aktivit
- Izolace a synchronizace souběžných aktivit ve “Flow”
- Aktivita “Pick” pro příjem jedné z více zpráv
Kompenzace transakcí v BPEL procesech
- Kompenzace a odvolání transakcí
- Obsluha žádostí o kompenzaci
- Příklad kompenzace v BPEL procesu
Shrnutí a závěr

Vzory interakce zpráv v komponentě BPEL Process

Wed, 05 Nov 2014 00:00:00 +0000

Orchestrace služeb s asyncrhonním voláním
- Aktivity BPEL související s orchestrací
- Asynchronní volání orchestrovaných služeb
- Příklad BPEL procesu s asynchronním voláním
Techniky korelace asynchronních zpráv
- WS-Addressing
- Correlation Sets
- Problémy při korelaci zpráv
Shrnutí a závěr

Komponenta BPEL Process v Oracle SOA Suite

Thu, 30 Oct 2014 00:00:00 +0000

Popis, vlastnosti a použití komponenty “BPEL Process”
- Orchestrace business procesu a implementujích služeb
- Business Process Execution Language (BPEL) a BPEL engine
- Použití BPEL procesu v SCA aplikaci
Definice BPEL procesu, jeho jednotlivé aktivity
- Definice BPEL procesu
- Napojení BPEL procesu na rozhraní webových služeb
- Aktivity v rámci BPEL procesu
Shrnutí a závěr

Komponenta Mediator v Oracle SOA Suite

Sat, 25 Oct 2014 00:00:00 +0000

Popis, vlastnosti a použití komponenty “Mediator”
- Směrovací pravidla a jejich popis
- Použití komponenty “Mediator” v SCA systému
- Zpracování chyb nejen v komponentě “Mediator”
Práce s komponentou “Mediator” v jDeveloper
- Nová SCA aplikace a komponenta “Mediator”
- Napojení komponenty v SCA aplikaci
- Definice směrovacích pravidel
Shrnutí a závěr

Service Component Architecture a komponenty Oracle SOA Suite

Sat, 25 Oct 2014 00:00:00 +0000

Service Component Architecture (SCA)
- Komponenty v architektuře SCA
- SCA components, composites, bindings/wires
- Adaptéry/JCA a Service Data Objects
SCA komponenty Oracle SOA Suite
- Přehled komponent a jejich použití v jDeveloperu
- BPEL Process, Mediator, Business Rule
- Human Task, Spring Service, Adapter Services
Shrnutí a závěr

Správa a sledování SOA systémů v Oracle SOA Suite

Tue, 07 Oct 2014 00:00:00 +0000

Architektura a nástroje Oracle SOA Suite 12c
- SOA-Infra, MDS, EDN, BAM a OSB
- Nástroje pro SOA management
- Oracle Enterprise Manager Fusion Middleware Control
Správa a sledování SOA systému v Oracle SOA Suite 12c
- Vývoj v jDeveloper a Business Process Composer
- Sestavení SOA archivu a jeho nasazení
- Tesování a sledování SCA aplikace
Shrnutí a závěr

Životní cyklus služby v SOA a popis webových služeb

Wed, 01 Oct 2014 00:00:00 +0000

Životní cyklus služby v SOA
- SOA Governance
- Nasazení služby
- Oracle SOA Maturity Model
Popis webových služeb
- XML Schema Definition (XSD)
- Web Services Description Language (WSDL)
- Simple Object Access Protocol (SOAP)
Shrnutí a závěr

Organizace předmětu IOA a úvod do SOA

Wed, 24 Sep 2014 00:00:00 +0000

Organizace předmětu
- Přednášky
- Cvičení a projekt
- Termíny
Úvod do SOA
- Definice, principy a technologie SOA
- Oracle SOA Suite 12c
Shrnutí a závěr

Heterogeneity-Aware Scheduler for Stream Processing Frameworks

Wed, 02 Jul 2014 00:00:00 +0000

Introduction
Stream Processing on Heterogeneous Clusters
1. Related Work
Use Case
Scheduling Decisions in the Stream Processing
1. Storm’s Default Scheduler
Proposed Scheduling Advisor
1. Scheduling of the Example Use Case Application
Implementation and Evaluation of the Scheduling Advisor
1. The Macro-scheduling Component
2. Evaluation of the Scheduling Advisor Prototype
Utilisation of the Scheduling Advisor in Development Process
Conclusion

Scheduling Decisions in Stream Processing on Heterogeneous Clusters

Wed, 02 Jul 2014 00:00:00 +0000

Introduction
Stream Processing on Heterogeneous Clusters
Use Case
Scheduling Decisions in the Stream Processing
Proposing Scheduling Advisor
Discussion and Future Work
Conclusion

Dynamically Reconfigurable Architectures: An Evaluation of Approaches for Preventing Architectural Violations

Tue, 01 Jul 2014 00:00:00 +0000

Stored Procedures & Database Triggers; Tiskové sestavy v Oracle Reports

Wed, 09 Apr 2014 00:00:00 +0000

Stored Procedures & Database Triggers
- Uložené procedury a funkce
- Databázové triggery
Tiskové sestavy v Oracle Reports
- Tvorba tiskových sestav
- Spuštění tiskových sestav
Shrnutí a závěr

SQL multimedia and application packages ISO/IEC 13249 SQL/MM

Thu, 03 Apr 2014 00:00:00 +0000

ISO/IEC 13249 SQL/MM Standard
- From SQL to SQL/MM
- SQL/MM Standard
- Documentation
SQL/MM Part 5: Still Image
- Data-types for Still Images
- SQL Statements for Still Images
- Implementations of Still Images DB Management Systems
SQL/MM Part 3: Spatial
- Data-types for Spatial Data
- SQL Statements for Spatial Data
- Implementations of Spatial DB Management Systems

Tvorba aplikací v Oracle Forms

Wed, 26 Mar 2014 00:00:00 +0000

Základy tvorby aplikací v Oracle Forms
- Oracle Forms a Oracle Forms Developer
- Struktura aplikace v Oracle Forms
- Oracle Forms build-in procedury a funkce
Vylepšení aplikací v Oracle Forms
- Menu v Oracle Forms aplikaci
- Skupiny záznamů a list položky (LOV)
- Hlášení zpráv a zpracování chyb/výjimek a událostí
Shrnutí a závěr

Modelling of Context-Adaptable Business Processes and their Implementation as Service-Oriented Architecture

Thu, 06 Mar 2014 00:00:00 +0000

Introduction
Context-Adaptability in Business Processes
1. Related Work
2. Outline of the Proposed Approach
Modelling of Context-Adaptable Business Processes
1. A Conceptual Model of Context-Adaptable Business Processes
2. Modelling of Context Adaptability
Process Realisations and a Product Dependency Tree
1. A Product Dependency Tree
2. Building the Product Dependency Tree Based on a Query
3. Evaluating the Query
4. An Example of the Query
Context-Adaptive Business Processes and Service-Oriented Architecture
1. Implementation of Context-Adaptive Business Processes
2. Quality of Service and Implementation of Performance Metrics
Evaluation and Discussion
Conclusion

Ontology-based Context Modelling and Reasoning in the Web Service Migration Framework

Sun, 01 Dec 2013 00:00:00 +0000

Introduction
Related Work
Web Service Migration Framework
Ontology representation in SADL
Ontology Reasoning and Migration Decisions
Implementation Details
1. Apache Jena
2. Reasoning Migration Controller
Discussion and Future Work
Conclusion

Web Service Migration with Migration Decisions Based on Ontology Reasoning

Tue, 05 Nov 2013 00:00:00 +0000

Introduction
Related Work
Web Service Migration Framework
Ontology representation in SADL
Ontology Reasoning and Migration Decisions
Implementation Details
1. Reasoning Migration Controller
Discussion and Future Work
Conclusion

NoSQL databáze

Tue, 15 Oct 2013 00:00:00 +0000

Od relačních databází k NoSQL
- Proč nestačí relační databáze?
- Co jsou NoSQL databáze?
- Co přináší NoSQL databáze?
Příklady NoSQL databází
- mongoDB
- Oracle NoSQL
Shrnutí a závěr

A Web Service Migration Framework

Sun, 23 Jun 2013 00:00:00 +0000

Introduction
Process of Web Service Migration
1. Migration Conditions and Migration Decision
2. Migration Decision Modelling
3. Migration of a Serivce
A Framework for Web Service Migration
1. Migration Controller Service
Related Work
Discussion
Future Work
Conclusion

Modelling of Context-Adaptable Business Processes and their Implementation as Service-Oriented Architecture

Sun, 24 Mar 2013 00:00:00 +0000

Introduction
Context-Adaptability in Business Processes
1. Related Work
2. Outline of the Proposed Approach
Modelling of Context-Adaptable Business Processes
1. A Conceptual Model of Context-Adaptable Business Processes
2. Modelling of Context Adaptability
Process Realisations and a Product Dependency Tree
1. A Product Dependency Tree
2. Building the Product Dependency Tree Based on a Query
3. Evaluating the Query
4. An Example of the Query
Context-Adaptive Business Processes and Service-Oriented Architecture
1. Implementation of Context-Adaptive Business Processes
2. Quality of Service and Implementation of Performance Metrics
Evaluation and Discussion
Conclusion

Procesní laboratoř pro praktickou výuku modelování a optimalizace business procesů (ARIS Toolset)

Thu, 21 Feb 2013 00:00:00 +0000

Motivace a cíle řešení projektu
1. Motivace projektu
2. Cíle řešení projektu
Postup a dosažené výsledky
1. Postup řešení projektu
2. Dosažené výsledky a konkrétní výstupy z řešení projektu
3. Náklady na řešení

A Prototype of a Service Migration Framework

Sun, 29 Jul 2012 00:00:00 +0000

Introduction
Process of Web Service Migration
1. Migration Decision and Migration Conditions
2. Migration of a Serivce in SOA
3. An Example
A Framework for Semantic Web Service Migration
1. Migration Strategy
2. Migration Controller
Related Work and Discussion
Summary and Conclusion

Fault Injection for Web-Services

Thu, 28 Jun 2012 00:00:00 +0000

Introduction
Software Implemented Fault Injection into Web-Services
1. SWIFI Tools for Web-Services
Fault Injection Tool for Web-Services
1. Conditions and Faults
Experiments
1. SOAP-based Calculator (JAX-WS)
2. RESTful CustomerDB (JAX-RS)
3. Publicly Available Web-Services
Summary and Conclusion

eSONIA Information Model development for supporting KPIs building

Tue, 28 Feb 2012 00:00:00 +0000

Introduction
Key Performance Indicators
Information model
1. Information about type of the machine
2. Information about time and metric
The eSONIA automotive manufacturing use case
Future development
Conclusion

Prevention of Architectural Violations in Component-Based Systems with Advanced Features of Dynamic Architecture

Thu, 19 Jan 2012 00:00:00 +0000

Introduction
Approaches to Prevent Architectural Violations
1. Static Architecture
2. Static Bindings
3. Predefined Reconfigurations
4. Reconfiguration Patterns
5. Restricted Reconfiguration Controllers
6. Formalised Reconfigurations and Invariants
Evaluation of the Approaches
1. Ad-hoc Reconfigurations
2. Component Mobility
3. Component Hierarchy Preservation
4. Architectural Aspects
Summary and Conclusion

Servisně orientovaná architektura a její aplikace v systémech sledování a řízení výroby

Tue, 29 Nov 2011 00:00:00 +0000

Úvod
Technologie pro implementaci SOA
1. Webové služby pro zařízení (Devices Profile for Web Services, DPWS)
SOA v systémech sledování a řízení výroby
1. Sledování a řízení vlastního výrobního procesu jako SOA
2. Klíčové ukazatele výkonosti (Key Performance Indicators, KPIs) a automatická změna výrobních strategií
Závěr

Modelling of Component-Based Systems with Mobile Architecture

Wed, 30 Mar 2011 00:00:00 +0000

Introduction
1. Aim of the Thesis
2. Methodology
3. Structure of the Thesis
Formal Bases
1. Labelled Transition Systems
2. Communicating Sequential Processes
3. Calculus of Mobile Processes
  1. Operational Semantics
  2. Congruences of Processes
Software Component Architecture
1. Software Architecture
2. Component-Based Development
3. Component Models
  1. Wright
  2. Darwin and Tracta
  3. SOFA
  4. SOFA 2.0
  5. Fractal
4. Architecture Description Languages
  1. ACME
  2. Unified Modelling Language
  3. ArchWare ADL
Service Oriented Architecture
1. Design of Services
  1. Business Process Modelling
  2. Business-to-Service Transformation
  3. Service Composition
2. Implementation of Services
3. Services and Components
  1. Service Component Architecture
Motivation
1. Statement of the Problem
2. General and Specific Objectives
Component Model
1. Logical View
  1. Metamodel
  2. System Model
2. Process View
  1. Notation
  2. Interface’s References and Binding
  3. Control of a Component’s Life-cycle
  4. Cloning of Components and Updating of Subcomponents
  5. Primitive and Composite Components
3. An Example of a Component-Based System and its Description
  1. Definition of the Components’ Implementations
  2. Description of the Component Based System
Behavioural Modelling of Services
1. Service as a Part of Service Oriented Architecture
  1. Communication of Services and Service Broker
2. Service as a Component Based System
3. An Example of a Service-Oriented Architecture
  1. Service Identification
  2. Service Model
  3. Description of Services as Entities of SOA
  4. Description of Services as Component-Based Systems
Development Process
1. Application of the Behavioural Modelling of Services
2. Application of the Component Model
3. Integration of a Formal Description
Tools
1. Component Modelling Tools
  1. Component Diagrams in UML
  2. A Tool for Modelling of Component-Based Systems
2. Verification Tools
  1. The Mobility Workbench (MWB)
  2. Another/Advanced Bisimulation Checker (ABC)
  3. Pi-Calculus Equivalences Tester (PiET)
Case Study
1. System Description
2. Service Identification
3. Component-Based System
4. Formal Description of the Service-Oriented Architecture
5. Formal Description of the Component-Based System
6. System Properties and Their Verification
  1. Simulation
  2. Deadlocks
  3. Bisimulation Checking
  4. Model Checking
7. Evaluation and Conclusion
  1. Important Merits
  2. Possible Drawbacks
Future Work
Conclusion

A Metamodel for Modelling of Component-Based Systems with Mobile Architecture

Wed, 25 Aug 2010 00:00:00 +0000

Introduction
State of the Art and Motivation
Metamodel
1. Components and Interfaces
2. Composite Components and Binding of Interfaces
3. Types of the Interfaces
4. Additional Constraints
A Case Study of a Component-Based System
Conclusion and Future Work

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Tue, 01 Jun 2010 00:00:00 +0000

Introduction
1. Motivation
2. Structure of the Article
Case Study
1. Service Identification
2. Component-Based System
Formal Basis for Behavioural Modelling
Behavioural Modelling of Services
Behavioural Modelling of the Component-Based System
1. Core Behaviour of Primitive Components
2. Behaviour of a Composite Component
System Properties and Their Verification
1. Simulation
2. Deadlocks
3. Bisimulation Checking
4. Model Checking
Related Work and Discussion
Conclusion and Future Work

Formal-based Component Model with Support of Mobile Architecture

Tue, 01 Jun 2010 00:00:00 +0000

Introduction
State of the Art
1. Software Architecture and Component-Based Development
2. Component Models and Architecture Description Languages
Motivation
1. Statement of the Problem
2. Objectives of the Research
Methods of Realisation
1. Formal Base
2. Component Model: Logical View
  1. Metamodel
3. Component Model: Process View
  1. Notation
  2. Interface’s References and Binding
  3. Control of a Component’s Life-cycle
  4. Cloning of Components and Updating of Subcomponents
  5. Primitive and Composite Components
4. Behavioural Modelling of Services
  1. Service as a Part of SOA
  2. Service as a Component-Based System
Main Contributions
Conclusions

Formal-based Component Model with Support of Mobile Architecture

Fri, 19 Feb 2010 00:00:00 +0000

Introduction
1. Aim of the Thesis
2. Methodology
3. Structure of the Thesis
Formal Bases
1. Labelled Transition Systems
2. Communicating Sequential Processes
3. Calculus of Mobile Processes
  1. Operational Semantics
  2. Congruences of Processes
Software Component Architecture
1. Software Architecture
2. Component-Based Development
3. Component Models
  1. Wright
  2. Darwin and Tracta
  3. SOFA
  4. SOFA 2.0
  5. Fractal
4. Architecture Description Languages
  1. ACME
  2. Unified Modelling Language
  3. ArchWare ADL
Service Oriented Architecture
1. Design of Services
  1. Business Process Modelling
  2. Business-to-Service Transformation
  3. Service Composition
2. Implementation of Services
3. Services and Components
  1. Service Component Architecture
Motivation
1. Statement of the Problem
2. General and Specific Objectives
Component Model
1. Logical View
  1. Metamodel
  2. System Model
2. Process View
  1. Notation
  2. Interface’s References and Binding
  3. Control of a Component’s Life-cycle
  4. Cloning of Components and Updating of Subcomponents
  5. Primitive and Composite Components
3. An Example of a Component-Based System and its Description
  1. Definition of the Components’ Implementations
  2. Description of the Component Based System
Behavioural Modelling of Services
1. Service as a Part of Service Oriented Architecture
  1. Communication of Services and Service Broker
2. Service as a Component Based System
3. An Example of a Service-Oriented Architecture
  1. Service Identification
  2. Service Model
  3. Description of Services as Entities of SOA
  4. Description of Services as Component-Based Systems
Development Process
1. Application of the Behavioural Modelling of Services
2. Application of the Component Model
3. Integration of a Formal Description
Tools
1. Component Modelling Tools
  1. Component Diagrams in UML
  2. A Tool for Modelling of Component-Based Systems
2. Verification Tools
  1. The Mobility Workbench (MWB)
  2. Another/Advanced Bisimulation Checker (ABC)
  3. Pi-Calculus Equivalences Tester (PiET)
Case Study
1. System Description
2. Service Identification
3. Component-Based System
4. Formal Description of the Service-Oriented Architecture
5. Formal Description of the Component-Based System
6. System Properties and Their Verification
  1. Simulation
  2. Deadlocks
  3. Bisimulation Checking
  4. Model Checking
7. Evaluation and Conclusion
  1. Important Merits
  2. Possible Drawbacks
Future Work
Conclusion

Java Platform, Enterprise Edition

Fri, 06 Nov 2009 00:00:00 +0000

Základní seznámení s Java EE
- Úvod
- Technologie v Java EE
- Architektura aplikace v Java EE
- Srovnání Java EE a konkurenčních produktů
Podrobnější pohled na Java EE
- Úvod
- Webové aplikace v Java EE
- Enterprise JavaBeans (EJB)

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Mon, 12 Oct 2009 00:00:00 +0000

Introduction
1. Formal Basis
Case Study Specification
Service Identification
Component-Based System
Formal Description of the Services
Formal Description of the Component-Based System
1. Core Behaviour of Primitive Components
2. Behaviour of a Composite Component
Related Work and Discussion
Conclusion and Future Work

A Component Model with Support of Mobile Architectures and Formal Description

Mon, 12 Oct 2009 00:00:00 +0000

Introduction
Component Model
1. Meta-model
2. Behaviour and Support of Mobile Architectures
Formal Description
1. The Pi-Calculus
2. Description of the Component Model
  1. Interface’s References and Binding
  2. Control of a Component’s Life-cycle
  3. Cloning of Components and Updating of Subcomponents
  4. Primitive and Composite Components
An Example
1. Definition of the Components’ Implementations
2. Description of the Component Based System
Related Work
1. Fractal
2. SOFA and SOFA 2.0
Discussion and Future Work
Conclusion

Formální komponentový model pro mobilní architektury - Shrnutí výsledků, 4. ročník

Thu, 09 Apr 2009 00:00:00 +0000

Úvod
- Evoluce architektury a komponentové systémy
- Struktura a chování komponentového systému
Aktuální stav disertace
- Cíle disertace a způsob řešení
- Výsledky a průběh řešení
- Další postup
Ostatní činnost

Modelování komponentově orientovaných systémů

Mon, 01 Dec 2008 00:00:00 +0000

Úvod
- Komponentové systémy
- Současný stav
- Motivace a cíle
Komponentový model
- Metamodel komponentového systému
- Chování komponentového systému
Modelování komponentových systémů
- Ukázka modelu komponentového systému
- Architektura SOA jako komponentový systém
Zhodnocení a závěr

Evolution of Structure and Behaviour of Components in Mobile Architecture

Tue, 14 Oct 2008 00:00:00 +0000

Introduction
1. Formal Basis
Description of Components
1. Notation of Names and Definition of Component Behaviour
2. Interface’s References and Binding
3. Control of a Component’s Life-cycle
4. Cloning of Components and Updating of Subcomponents
5. Component Behaviour of Primitive and Composite Components
An Example on Evolution of Structure and Behaviour
1. Definition of the Components’ Implementations
2. Description of the Component Based System
3. Evolution of Structure and Behaviour
Discussion and Related Work
Conclusion and Future Work

Behavioural Modeling of Services: from Service-Oriented Architecture to Component-Based System

Sat, 06 Sep 2008 00:00:00 +0000

Introduction
1. Service Oriented Architecture
2. Component Based Development and Systems
3. Formal Basis
Formal Description of Services’ Behaviour
1. Service as a Part of Service Oriented Architecture
2. Service as a Component Based System
Formal Description of a Component Based System
1. Notation of Names
2. Interface’s References and Binding
3. Control of a Component’s Life-cycle
4. Component Behaviour of Primitive and Composite Components
Related Work and Discussion
Conclusion and Future Work

Modeling of Service Oriented Architecture: from Business Process to Service Realisation

Sun, 04 May 2008 00:00:00 +0000

Introduction
Business Process Model
Model transformation
Composite Services
The Service ProcessPurchaseOrder
Discussion and Related Work
Conclusion and Future Work

Formální komponentový model pro mobilní architektury - Shrnutí výsledků, 3. ročník

Tue, 08 Apr 2008 00:00:00 +0000

Úvod
- Evoluce architektury a komponentové systémy
- Struktura a chování komponentového systému
Obsah disertace
- Cíle disertace
- Výsledky
- Další postup
Ostatní činnost

Plánování a příprava předmětu Service Sciences na FIT VUT

Sun, 30 Mar 2008 00:00:00 +0000

Úvod
1. Rozdělení práce
Plánování předmětu Service Sciences
1. Edukační cíle
  1. Edukační cíle na vysoké škole
  2. Cíle vyučovacího předmětu
  3. Cíle předmětu Service Sciences
2. Organizace výuky
  1. Fáze výuky
  2. Organizace výuky v předmětu Service Sciences
3. Metody výuky
  1. Metody výuky na vysoké škole technického typu
  2. Metody výuky v předmětu Service Sciences
4. Hodnocení studenta
  1. Hodnocení studenta v předmětu Service Sciences
5. Materiální didaktické prostředky
  1. Tvorba učebních pomůcek
  2. Didaktické prostředky v předmětu Service Sciences
6. Koncepce předmětu Service Sciences
Příprava předmětu Service Sciences
1. Příprava ukázkové lekce
  1. Didaktická analýza
  2. Struktura přednášky
  3. Učební pomůcky
2. Vyhodnocení průběhu ukázkové lekce
Závěr

Modelování architektur založených na službách

Mon, 25 Feb 2008 00:00:00 +0000

Cíle řešení a motivace
1. Architektura orientovaná na služby a FIT VUT
2. Cíle řešení projektu
Postup a dosažené výsledky
1. Postup řešení projektu
2. Dosažené výsledky a konkrétní výstupy z řešení projektu
3. Náklady na řešení

Komponentový model s podporou mobilních architektur a formálním popisem

Mon, 26 Nov 2007 00:00:00 +0000

Úvod
- Komponentové systémy
- Současný stav
Komponentový model
- Struktura komponentového systému
- Chování komponentového systému
Formální popis chování komponentového systému
- Kalkul mobilních procesů (π-kalkul)
- Popis řídících částí komponenty
- Popis primitivních a složených komponent
Závěr

A Tool for Supporting Feature-Driven Development

Wed, 10 Oct 2007 00:00:00 +0000

Introduction
Feature Driven Development (FDD)
1. Roles and Responsibilities in the FDD Processes
Software Support for the FDD Method
Design of the Tool for Supporting FDD
Implementation and Practical Results
Discussion and Related Work
Conclusion and Future Work

Component Model with Support of Mobile Architectures

Mon, 23 Apr 2007 00:00:00 +0000

Introduction
Component Model
1. Behaviour and Support of Mobile Architectures
2. Formal Description
Related Work
Discussion
Conclusion and Future Work

Formální komponentový model pro mobilní architektury - Shrnutí výsledků, 2. ročník

Fri, 20 Apr 2007 00:00:00 +0000

Úvod
- Definice pojmů
Zaměření disertace
- Cíle disertace
- Výsledky a další postup
Ostatní činnost

Formální sémantika komponentově orientovaných systémů

Mon, 12 Mar 2007 00:00:00 +0000

Úvod
- Informační systémy
- Architektura
- Komponenty
- Evoluce architektury
Současné komponentové modely
- Úvod a přehled
- SOFA
- Fractal
Komponentový model pro mobilní architektury
- Předpoklady
- Struktura
- Formalismus
- Plány a možnosti

Component Model with Formal Basis and Support of Mobile Architectures

Wed, 28 Feb 2007 00:00:00 +0000

Introduction
1. Component Based Development
2. pi-Calculus
Component Model
1. Components
2. Interfaces
3. Connectors
4. Behaviour
Formal Semantics
1. Functional Part
2. Control Part
Related Work
1. Fractal
2. SOFA
Discussion
Conclusion and Future Work

Formal-based Component Model with Support of Mobile Architecture

Tue, 16 Jan 2007 00:00:00 +0000

Introduction
1. Software Architecture
2. Component-Based Development
State of the Art
1. Formal Basis
  1. Communicating Sequential Processes
  2. pi-Calculus
  3. Labelled Transition Systems
2. Component Models
  1. Wright
  2. Darwin and Tracta
  3. SOFA
  4. SOFA 2.0
  5. Fractal
3. Architecture Description Languages
  1. ACME
  2. Unified Modelling Language
  3. ArchWare ADL
Aim of the Thesis
1. Statement of the Problem
2. General Objective
3. Specific Objectives
4. Expected Contributions
Methodology
Current Results

Formal Approach to an Architecture of Distributed Information Systems

Tue, 05 Dec 2006 00:00:00 +0000

Introduction
Modified Asynchronous Network Model
Mobile Architecture and π-Calculus
The Framework
1. Design of the Framework
2. Support for Mobile Architecture
3. Implementation of the Framework
Derivation of a Formal Description
Sample System
Related Work and Discussion
Conclusion and Future Work

Distributed Information System as a System of Asynchronous Concurrent Processes

Fri, 27 Oct 2006 00:00:00 +0000

Introduction
Formal Base
Design and Implementation of the Framework
1. Vertical View = Modified Asynchronous Network Model
2. Horizontal View = Atomic and Composite Process
3. Behaviour = Typed $\pi $-Calculus
Related Work
Conclusion and Future Work

Formální specifikace architektur informačních systémů

Tue, 20 Jun 2006 00:00:00 +0000

Úvod
1. Architektury informačních systémů
2. Jazyk pro popis architektur (ADL)
Formalismy pro popis architektur
1. Petriho sítě
2. Temporální logiky
3. Procesní algebry
4. Další formální přístupy
Obecný jazyk
1. Jazyk ACME
2. Jazyk UML 2.0
Závěr

Transparentní intenzionální logika (TIL)

Tue, 30 May 2006 00:00:00 +0000

Úvod
Modální logika
1. Kripkeho teorie možných světů
Základní extenzionální model a predikátová logika
Lambda-kategoriální gramatika
Transparentní intenzionální logika (TIL)
1. Příklad
Využití transparentní intenzionální logiky v SW inženýrství
Závěr

Matice logického rámce - Disertace

Mon, 01 May 2006 00:00:00 +0000

sloupce
- Strom cílů
- Objektivně ověřitelné ukazatele
- Zdroje ověření ukazatelů
- Vnější předpoklady a rizika
řádky
- Hlavní záměr
- Ukazatele dopadů
- Účel, cíle
- Ukazatele účelu
- Výstupy
- Ukazatele výstupů
- Aktivity
- Prostředky a vstupy
- Časový rámec aktivit

Towards Verification of Systems of Asynchronous Concurrent Processes

Tue, 25 Apr 2006 00:00:00 +0000

Introduction
Modified Asynchronous Network Model
Framework for Systems of Asynchronous Concurrent Processes
Semantics of Systems of Asynchronous Concurrent Processes
1. Semantics of Sample System
Verification of Systems of Asynchronous Concurrent Processes
1. Verification of Sample System
Conclusion

A Framework for Systems of Asynchronous Concurrent Processes

Mon, 27 Mar 2006 00:00:00 +0000

Outline
Introduction
Distributed information systems
Asynchronous network model
Process algebras (CCS, pi-calculus, …)
Modified asynchronous network model
Framework for modified network model
Formal specification
Formal verification
Future research
References

Klasifikace a predikce

Tue, 17 Jan 2006 00:00:00 +0000

Úvod
1. Klasifikace a predikce
2. Teorie pravděpodobnosti a matematická statistika
Typy klasifikačních modelů
1. Rozhodovací stromy
2. Systémy rozhodovacích (klasifikačních) pravidel
3. Statistické metody
4. Neuronové sítě
5. Využití vzdálenosti (podobnosti)
6. Kombinace technik a odvozené techniky
7. Přesnost klasifikačních modelů
Závěr

Použití π-kalkulu v UML

Mon, 02 Jan 2006 00:00:00 +0000

Úvod
1. Procesní kalkul
2. Unified Modeling Language (UML)
Co je π-kalkul?
Použití π-kalkulu v UML
1. Vyjádření stavového diagramu pomocí π-kalkulu
2. Vyjádření diagramu aktivit pomocí π-kalkulu
Důkazy nad π-kalkulem pro UML
1. Využití vlastností π-kalkulu
2. Formální verifikace
Závěr