Reliable Software Technologies, Ada-Europe ...Springer,., 2000 - Ada (Computer program language) |
Contents
Invited Presentations | 1 |
RealTime and SafetyCritical Systems | 16 |
Andy J Wellings Bob Johnson Bo Sanden Jörg Kienzle | 29 |
Copyright | |
17 other sections not shown
Other editions - View all
Common terms and phrases
abstract Ada compiler Ada language Ada programs Ada-Europe AdaJNI allows analysis Aonix application approach array ASIS behavior boolean checking component Computer Science concurrent systems contains created deadlock Deallocate declared defined design patterns elements end record entry errors essential subset ESTEREL event example exception exception handling exception object failures finite state machine framework function GNAT graph Gtk+ GtkAda HAZOP hierarchy implementation input Integration Testing interface Java class Java2AdaJNI LNCS method node object-oriented programming package parameter phase Plödereder Eds Point_3D_class primitive operations problem procedure Proceedings programming language protected types queries Ravenscar Ravenscar profile Real-Time record type reliability representative sets requirements runtime Seized[id shortcuts SIGAda simulation Spark2000_class Springer-Verlag static storage stream structure subprograms synchronization T₁ tagged type task Test(r TestMate tool uncertainties Unit Testing values variable WCET widget worst-case execution