Knowledge Engineering, and Software Engineering Tim Menzies March 4, 1996 Abstract It is an interesting and exciting challenge to change programming modalities from a traditional textbased approach to a 2-D screen. Based on a survey of current visual programming systems, we nd that numerous software engineering and knowledge engineering techniques are required to meet that challenge. Further, w...

Computing increasingly addresses collaboration; sharing; and interaction involving distributed resources. This has been fuelled in part by the emergence of Grid technologies and web services. Drawing on our expertise in the Geodise project. We argue that there is a growing requirement for knowledge engineering methods that provide a semantic foundation for such distributed computing. Such metho...

Software Engineering (SE) and Knowledge Engineering (KE) are closely related disciplines with goals of turning the development process of software systems and knowledge-based systems, respectively, into engineering disciplines. In particular, they together can provide systematic approaches for engineering intelligent software systems more efficiently and cost-effectively. As there is a large ov...

Glenn Shafer Prakash P. Shenoy School of Business University of Kansas Lawrence, Kansas 66045 Modifiable combining functions are a synthesis of two general approaches to combining evidence. Be­ cause they facilitate the acquisition, representation, explanation, and modification of expert knowl­ edge about combinations of evidence, they are presented as a device for knowledge engineers, not as a...

The management of knowledge and know-how becomes more and more important in organizations. Building corporate memories for conserving and sharing knowledge has become a rather common practice. However, we often forget that the efficiency of these activities is strictly connected to the appropriation capacities and learning of the organizational actors. It is through this learning that new skill...

We report on the application of higher-order automated theorem proving in ontology reasoning. Concretely, we have integrated the Sigma knowledge engineering environment and the Suggested Upper-Level Ontology (SUMO) with the higher-order theorem prover LEO-II. The basis for this integration is a translation from SUMO’s SUO-KIF representations into the new typed higher-order form representation l...

Facing changing environment and user requirements, modern distributed software systems often have to evolve accordingly. We propose an extended object-oriented programming model for dynamically self-adaptive distributed software systems. With this model every component of a system is explicitly situated in an active architectural context, which is naturally used to regulate and facilitate poten...