This paper proposes a design method of component composition system based on automatic program generation technology using XML and Java,defines an application template language:SAML.
This paper describes the realization method of automatic program generation inthe computer network and under the environment of multimedia,it emphasize onthe study of automatic programming tool based on this method.
The automatic program generating system is a major programming tool, which can generate-user applications, with the Single-Chip Microcomputer and Single Board Computer as control media, thus greatly cutting development time and making applications conver into commercial products easier.
This paper proposes a design method of component composition system based on automatic program generation technology using XML and Java,defines an application template language:SAML.
In this paper,several key techniques relative to teleprogramming are studied,including:predective display through virtual environment,automatic program generation,and error corrtection of the virtual environment.
This paper describes the realization method of automatic program generation inthe computer network and under the environment of multimedia,it emphasize onthe study of automatic programming tool based on this method.
A method which use pre-assertion and post-assertion based on axiomatic semantic to express the function of multi-thread programs is proposed and a funtional specification language JAVASPEC which can express formally functional specification of programs is designed. Thus,the basis supporting the automatic program generation are established.