Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
A software architecture for knowledge-based systems
The paper introduces a software architecture for the speci®cation and veri®cation of knowledgebased systems combining conceptual and formal techniques. Our focus is component-based speci®cation… Expand