H ? « ‹ ← → › »

Language peer sets for XYZ/E:
Designed 1983 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

XYZ/E(ID:7869/)

Designed 1983

Temporal logic programming language - programs consist of a conjunction of transitions

Tang, 1983

References:

TANG, Zhisong (1982) TANG, Zhisong "A Programming Development Environment Conforming to Various Ways of Programming" (in Chinese), R&D of Comp., 1982(11)

Tang, C. (1983) Tang, C. "Toward a unified logic basis for programming languages" pp425-429
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

TANG, Zhisong (1983) TANG, Zhisong "XYZ: a Programming Development Environment Based on Temporal Logic", in: Programming Language and Systems (Bormann de.), 1983, North Holland.
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

TANG, Zhisong A Temporal Logic Language for Behav (1986) TANG, Zhisong A Temporal Logic Language for Behavior Modelling of Information and Expert System, in: "Knowledge & Data"(A. Sernadas ed.), 1986 ,North Holland.
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

TANG, Zhisong (1986) TANG, Zhisong "To Unify Programming with Logic, I" (Invited speech), Proc. of PREVLDB Intl. Symp. Beijing, 1986,. II, (Invited speech), Proc. Intl. Symp. Softw. Eng., Beijing, 1986
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

TANG, Zhisong (1989) TANG, Zhisong "To Unify Programming with a Temporal Logic System", Dept. Comp. Sci. CMU, Tech. Rep. No. CMU-CS-87-160, Revised version: Proc. Japanese Ann. Softw. Symp. Tokyo, 1989
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

Design Philosophy of XYZ System (in Chinese), J. (1990) Design Philosophy of XYZ System (in Chinese), J. of Softw., 1990(1)
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

A Unified Formal Basis for the CASE Tool System, J (1993) A Unified Formal Basis for the CASE Tool System, J. System Integration, 1993; 3(2); 109-132.
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

A Temporal Logic Language and Its Related Philosop (1994) A Temporal Logic Language and Its Related Philosophical Problems. An Invited Speech Delivered on: The International Conference of Vienna Circle and Contemporary Science and Philosophy: In memory of Tscha Hung Beijing, Oct. 1994. To be published in "Boston studies of the Philosophy of Science" Kluwer Academic Publisher, Boston.
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

A Temporal Logic Language Oriented Toward Software (1994) A Temporal Logic Language Oriented Toward Software Engineering -- An introduction to XYZ System (I). Chinese Journal of Advanced Software Research, Vol. 1 No 1, 1994, 1-29.
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

Tang Z. (1995) Tang Z. and Yang L., Real-time Programming with XYZ System, Chinese J. of Adv. Softw. Res. Vol 2, NO 4, 1995.
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

Tang Z. et. al, (1996) Tang Z. et. al, "Temporal Logic Programming and Software Engineering" Science Press, Beijing 1996 (Chinese)
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,

Tang Z., The Characteristics and Applications of X (1996) Tang Z., The Characteristics and Applications of XYZ System (Chinese) Invited speech, Proc. Chinese Computer Conf. 1996.
in Mason, R. (1983) Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983,
Resources

Page of designer As for the XYZ System, it was desired with the good to enhance productivity and reliability of software. It is a system of two orthogonal dimensions: one is a Temporal Logic Language called XYZ/E which is, in fact, a family of hierarchal languages (i.e. a system of wide spectrum languages, or Xiliehua Yuyan Zu in Chinese Pingying); the order is a CASE toolskit.

The TLL XYZ/E can represent conventional programming (sequential or concurrent higher level statements form, state-transition form or production rules form), programming with specification of different abstract levels, object-oriented programming and visual programming with a unified program framework.

The CASE tools implement various kinds of methodologies such as stepwise refinement (structured or non-structured design), verification, rapid prototyping, formal-based language transformation and module management. Because the semantics of the connected together safely to form more complicated tools. By means of the language transformation tool, many international standard languages of specific domains such as Estelle, SDL, VHDL, etc have been transformed into XYZ/E and many program properties can be verified by the verification tools on the basis of XYZ/E.
The system is designed under the direction of some Chinese traditional philosophical methodoligies to lay emphasis on unification.
In order to enchance the applicability of the system, 5 integrated environments oriented toward specific engineering domains: OO programming, multi-media (animated carton, in particular), process modelling, Real-time Reactive system and Software Engineering, have been implementation based on XYZ tools.

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder