H ?
«
‹
←
→
›
»
Language peer sets for TRIO:
Italy↑
Italy/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
TRIO(ID:7117/tri012)
alternate simple view
Country: Italy
Designed 1990
Real-time logic specification language
Related languages
| ASLAN |
→
|
TRIO | |
Evolution of |
| TRIO |
→
|
ASTRAL | |
Influence |
References:
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
|