|
Why is there such a strong emphasis on formal models? |
A formal model is necessary to provide guarantees on the behavior of
a system.
The OKBC model is specified using logical axioms so that there is a
clear understanding
on what each concept means.
Next: What are the primitive data
types?
Top: OKBC FAQ Table of Contents