Modern Theory of Information – Structured and Knowledge Based System Design
Show simple item record
dc.contributor.author |
Krayem, Said
|
|
dc.date.accessioned |
2016-06-21T12:33:48Z |
|
dc.date.available |
2016-06-21T12:33:48Z |
|
dc.date.issued |
2016 |
|
dc.identifier.issn |
978-80-7454-597-9 |
|
dc.identifier.uri |
http://hdl.handle.net/10563/36769
|
|
dc.description.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. |
en |
dc.format |
167 |
|
dc.language.iso |
en |
|
dc.publisher |
Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky |
en |
dc.rights |
Bez omezení |
|
dc.subject |
Event-B
|
en |
dc.subject |
KADS
|
en |
dc.subject |
Knowledge
|
en |
dc.subject |
Knowledge based system
|
en |
dc.subject |
Knowledge Representation
|
en |
dc.subject |
Expert System Design
|
en |
dc.subject |
Knowledge Engineering
|
en |
dc.subject |
Formal Methods
|
en |
dc.subject |
events
|
en |
dc.subject |
action
|
en |
dc.subject |
machine and context
|
en |
dc.title |
Modern Theory of Information – Structured and Knowledge Based System Design |
en |
dc.type |
Book |
en |
Files in this item
This item appears in the following Collection(s)
Show simple item record
Search DSpace
Browse
-
All of DSpace
-
This Collection
My Account