Modern Theory of Information - Structured and Knowledge Based System Design

Anotace

This keynote will address the challenges in the digital engineering field with a specific focus on analyzing security and harnessing the gaps that exist and the progress that needs to be made in the coming decade. The state–based Event-B formal method relies on the concept of correct step-by-step development ensured by discharging corresponding proof obligations. The CommonKADS methodology is a collection of structured methods for building knowledge-based systems. A key component of CommonKADS is the library of generic inference models which can by applied to tasks of specified types. These generic models can either be used as frameworks for knowledge acquisition or to verify the completness of models developed by an analysis of the domain.