Content deleted Content added
m WP:CHECKWIKI error fixes +genfixes using AWB (7105) |
{{Unreferenced|date=January 2011}} |
||
Line 29:
The above described explicitation process results in Knowledge Models and Standard Specifications Models that enable their use for computer supported knowledge-aided design as well as for automated verification of designs.
==
{{reflist}}
{{Unreferenced|date=January 2011}}
==Further reading==
* [http://www.makhfi.com/KCM_intro.htm Introduction to Knowledge Modeling] by Pejman Makhfi
* [http://hal.archives-ouvertes.fr/docs/00/42/01/12/PDF/preprint_mimik_ogl.pdf Methods and Instruments for Modeling Integrated Knowledge] by Olivier Glassey
|