Komponentová architektura cílového software – Ing. Oldřich Faldík
Ing. Oldřich Faldík
Doctoral thesis
Komponentová architektura cílového software
Component-based software architecture
Anotácia:
Cílem této práce je přispět k vývoji v oblasti formální analýzy komponentových systémů ve dvou směrech, a to z pohledu teorie systému a teorie vyčíslitelnosti. Práce se zabývá možností deskripce komponentových systémů a verifikačními úlohami nad těmito systémy. V první části disertační práce je uveden přehled současných publikací, které se zaměřují na verbální deskripci komponentových systémů. V této …viacAbstract:
The object of this dissertation thesis is to contribute to the development of formal analysis of component systems from the perspective of the system theory and computability theory. The thesis deals with various ways in which component systems are described and tasks verified. The first part of the thesis presents an overview of recent publications focusing on a description of component-based systems …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 31. 5. 2017
Obhajoba závěrečné práce
- Vedúci: doc. Ing. Oldřich Trenz, Ph.D.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Mendelova univerzita v Brně, Provozně ekonomická fakultaMendel University in Brno
Faculty of Business and EconomicsDoctoral programme / odbor:
System engineering and informatics / Economic informatics
Práce na příbuzné téma
-
Interface-Based Software Development
Aziz Rais -
Komponentový vývoj webové aplikace
Pavel Sklenář -
Verifikační nástroj pro komponentové systémy
Milan Křivánek -
Classification for Sensors in Automotive Cyber-Physical Systems
Surendra Kumar Yadav -
Supporting a Smart Grids Laboratory: Testing Management for Cyber-Physical Systems
Katarína Hrabovská -
A Model for Strategic Alignment of Supply Chain Management Information Systems: Dynamic Capabilities of Digital Business Models
Jochen Nürk -
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Barbora Zimmerová -
Formal Verification of Component Interaction in Component-Based Systems
Nikola Beneš
Názov
Vložil
Vložené
Práva