H ?
«
‹
←
→
›
»
Language peer sets for TELOS:
Canada↑
Canada/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Experimental and other ↑
Experimental and other/1989↑
Experimental and other/ca ↑
TELOS(ID:787/tel008)
alternate simple view
Country: Canada
Designed 1989
Sammet category: Experimental and other
Extension to SML for context modelling
Related languages
SML |
→
|
TELOS | |
Evolution of |
TELOS |
→
|
O-TELOS | |
Extension of |
References:
Koubarakis, M., Mylopoulos, J., Stanley, M. and Ja (1989) Koubarakis, M., Mylopoulos, J., Stanley, M. and Jarke, M., "Telos:
Features and Formalization", KRR-TR-89-4, Department of Computer Science, University of Toronto, 1989
Topaloglou, T. and Koubarakis, M., (1989) Topaloglou, T. and Koubarakis, M., "An Implementation of Telos, " TR -KRR-89-8, Department of Computer Science, University of Toronto.
Mylopoulos, J., Borgida, A., Jarke, M. and Koubara (1990) Mylopoulos, J., Borgida, A., Jarke, M. and Koubarakis, M., "Telos:
Representing Knowledge About Information Systems", ACM Transactions on
Information Systems, October 1990
Plexousakis, D., The Semantics of Telos: A Languag (1990) Plexousakis, D., The Semantics of Telos: A Language for Knowledge Representation, M.Sc. thesis, Department of Computer Science, University of Toronto, 1990.
Tuzhilin, Alexander (1995) Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304
Extract:
Telos
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|