Modern Theory of Information – Structured and Knowledge Based System Design

Abstract

Instructional text Modern Theory of Structured Information and Knowledge-Based System Design general part and a special part provides basic and necessary scope of knowledge of modern method design. The content is adapted for easier study the theory and the examples based on a formal method and knwoledge-based method. The objective of the author was to prepare teaching texts for doctoral students from UTB FAI in Zlín which provides the necessary knowledge in the subject of Modern Theory of Structured Information and Knowledge-Based System-Design. Main attention was paid to Method Common-KADS, which today is the European standard for design KBS and formal method Event-B for mathematical modeling and proving complex systems.