H ? « »

Language peer sets for TRIO:
Designed 1990
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: Italy
Designed 1990

Real-time logic specification language

Related languages
ASLAN TRIO   Evolution of
TRIO ASTRAL   Influence

  • Ghezzi, C.; Mandrioli, D.; Morzenti, A. (1990) Ghezzi, C.; Mandrioli, D.; Morzenti, A. "TRIO: A logic language for executable specifications of real-time systems", Journal of Systems and Software, v.12 n.2, p.107-123, May 1990
  • Carlo Ghezzi, Richard A. Kennerer (1991) Carlo Ghezzi, Richard A. Kennerer "Executing formal specifications: the ASTRAL to TRIO translation approach" Proceedings of the symposium on Testing, analysis, and verification September 1991 Abstract Extract: Introduction
  • 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: TRIO
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder