Sciweavers

15778 search results - page 414 / 3156
» Aikido and software engineering
Sort
View
ADAEUROPE
1999
Springer
15 years 11 months ago
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
ADAEUROPE
1999
Springer
15 years 11 months ago
Ada Binding to a Shared Object Layer
Johann Blieberger, Johann Klasek, eva Kühn
ADAEUROPE
1999
Springer
15 years 11 months ago
The Ceiling Protocol in Multi-moded Real-Time Systems
Jorge Real, Andy J. Wellings