Abstract:Integration is one of the essential problems in software engineering support environment construction. It involves concepts, methodologies, techniques and tools. The integration has its logical meaning and physical attributes. In this paper, the architecture of an integrated software engineering support environment hosted by UNIX system was introduced. In this environment, the information base and the user-interface were designed as its main integration mechanisms. It can support object-oriented programming.This environment offers a series of base languages based on C and assist different users in software development and project management.The whole environment was divided into the environmrnt layer,the object layer and the data layer so that it was organized as a layered virtual machine.Therefore,this implementation makes the environment robust,open-ended and tailorable.

Abstract:Model completeness is an important characteristic by which the description power of data model is measured. In this paper, a functional data model FM and query language FQL has been introduced. A new conception on model implication and completeness has been defined. According to some characteristics (such as implication, completeness, etc.) on relational model, the completeness of FM has been discussed lastly.

Abstract:In the cooperative systems composed of multiple domain related ESs, ESs which can solve the same one problem A independently, are often organized as a cooperative group. Sometimes, each ES in the group all gives the same assertion to problem A, whereas the CF (Confidence Value) for the assertion is different. In this paper, in order to process this kind of inconsistency problem, we improve the strategies of approaching to the highest CF and adjacent influence, propose the strategies of approaching to the highest authority and interactive influence.Moreover,wealso propose three computaional methods about the maximum deviation of the united CF of the cooperative group which are method based on fuzzy entropy,the method based on norm and the method based on mean deviation value.These computational methods are based onthe measure about the degree of inconsistency of all CFs in the group.

Abstract:In this paper, we introduce a compiler generation system-ACS. ACS can automaticly generate a compiler of a programming language by input the programming language s lexical description, syntax description, semantic description and target machine description.

Abstract:This paper discusses the transformation ability of Burstall and Darlington s folding/unfolding system, i.e. what kind of programs can be derived from a given one. It is a generalization of the problems of correctness and completeness. Tn the paper, we proved a necessary condition of transformability, and got a bound of efficiency improvable by transformation. The partial correctness and incompleteness of the system are corollaries of the condition.

Abstract:This paper introduces the specification method for user-interfaces in a graphical User Interface Management System-GUIDE-GKS System. And the rapid prototyping and automatic generation technique for user-interfaces based on the specification information also are described. Among those, on the basis of the idea of the user s conceptual model, it presents a new kind of "guide" style specification technique, with which the user-interface designer can learn to use the system more conveniently, succinctly and effectively.This specification technique also enhances the guarantee of correctness foe the process of the user-interfaces'specification,and encourages the creation of good designs for user-interfaces by making tasks or activities that result in such designs easy to accomplish.

Abstract:Tools of universal interactive logical inference, Tuili in short, is a new style artificial intelligence language, it can do reasoning in different directions using various search strategies. It is very convenient to use Tuili for building expert systems and other knowledge-based systems quickly. In this paper, we will present the implementation techniques which are used in the implementation of Tuili.