H ? « ‹ ← → › »

Language peer sets for ASTRAL:
Italy↑
Italy/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

ASTRAL(ID:7842/)

alternate simple view
Country: Italy
Designed 1995

RT specification language

Not a rewrite of either TRIO or ASLAN, but informed by Ghezzi's experience with them
Related languages
ASLAN → ASTRAL   Influence
TRIO → ASTRAL   Influence
References:
  • Coen-Porisini,A., Ghezzi,C., Kemmere,R.A. (1997) Coen-Porisini,A., Ghezzi,C., Kemmere,R.A. "Specification of Realtime Systems Using ASTRAL" Online copy Abstract Extract: Introduction Extract: An Overview of ASTRAL Extract: ASTRAL and RT-ASLAN Extract: The ASTRAL Language Extract: ASTRAL, ASLAN, RT-ASLAN, and TRIO
          in (1997) IEEE Transaction on Software Engineering 23(09) 1997
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder