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