M. A. Haberler

Learn More
  • I D J A Hatley, Pirbhai, +9 authors Frank Belz
  • 1994
is itself perceived as a process with its own internal behaviours and its own concurrency. NICE provides : • an alternative formulation of the ideas in Rapide and TSL, to further satisfy the needs of performance monitoring for clear flexible descriptions of performance quantities, • an alternative approach to a definition language, featuring(More)
TLS-1 is a language for specifying sequences of tasking events occurring in the execution of concurrent Ada programs. Such specifications are intended primarily for testing and debugging of Ada tasking programs. They can also be applied in the design of programs. TSL-1 specifications are included in Ada programs as formal comments. They express constraints(More)
  • 1