H ? « ‹ ← → › »

Language peer sets for Templar:
United States↑
United States/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Templar(ID:7113/tem011)

alternate simple view
Country: United States
Designed 1993

Software specification language based on temporal logic
References:
  • Tuzhilin, Alexander (1993) Tuzhilin, Alexander "Templar: A knowledge-based language for software specifications using temporal logic" Working Paper IS-93-33, Stern School of Business, New York Univ., New York 1993
  • 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 Abstract DOI Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder