Sciweavers

6 search results - page 1 / 2
» adaeurope 2000
Sort
View
ADAEUROPE
2000
Springer
13 years 8 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
ADAEUROPE
2000
Springer
13 years 8 months ago
(True) Polymorphism in SPARK2000
of the Reliant Telco Platform, K. Wiesneth Safety-oriented INTERBUS INTERBUS Safety-, K. Meyer-Graefe Developing a Binding Process for Automated Program Recognition and Fault Local...
Tse-Min Lin, John A. McDermid
ADAEUROPE
2003
Springer
13 years 9 months ago
An Invitation to Ada 2005
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
Pascal Leroy
ADAEUROPE
2000
Springer
13 years 8 months ago
Reengineering the Booch Component Library
Component-based software development heavily relies on the ability of reusing components from a library with as little effort as possible. Among others, valuable features for reus...
Jordi Marco, Xavier Franch