Speech Keynote 2 - Chair: Kouichi Kishida (SRA, Japan)

	Zhisong Tang (CAS, China)

	`XYZ System and It's Philosophical Background'
	
	abstract:

	To lay one-sided emphasis on software technology or formal theory is 
	considered as the result of traditional cultural influence by 
	Progmatism and Rationalism.In order to enhance the productivity and 
	reliability of software development, the author proposes an approach 
	to unify the dynamic semantics and the static semantics of a program 
	in an uniform framework of Temporal Logic. Confucius' Doctrine of
	Golden means is taken as its philosophical foundations.