Semantic Foundations for Composition and Interoperation of Open Systems

The objective of the proposed research is to develop a semantic foundation for semantic composition and interoperation of heterogeneous components of open systems. Composition and interoperation occur at many levels (requirements, specification, code, exec

Proposal to NSF ()

Semantic Foundations for Composition and Interoperation of Open Systems

Principal Investigators John McCarthy, Stanford University and Carolyn Talcott, Stanford University

Semantic Foundations for Composition and Interoperation of Open Systems相关文档

最新文档

返回顶部