Invited Presentations.- Support of Technology Development in the Information Society.- Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java.- Ada after 10 Years of Usage - Is There a Commercial Future?.- An Open Ravenscar Real-Time Kernel for GNAT.- Real-Time and Safety-Critical Systems.- Object-Oriented Programming and Protected Objects in Ada 95.- Is an Ada Lint Necessary?.- Session: Tools.- Using JavaTM APIs with Native Ada Compilers.- Static Worst-Case Execution Time Analysis of Synchronous Programs.- A Supporting Tool for Development of Self-Measurement Ada Programs.- Session: APIs and Components.- On Persistent and Reliable Streaming in Ada.- Reengineering the Booch Component Library.- GtkAda: Design and Implementation of a High Level Binding in Ada.- Session: ASIS.- ASIS-for-GNAT: A Report of Practical Experiences.- Generation of Interface Design Description Documents Using ASIS.- An Ada95 Programming Style Checker Using the GNAT ASIS Implementation.- Session: Risk and Reliability Management.- Enhancements in Software Project Risk Management.- Constructing Reliable Embedded Systems Using the Results of System Safety Analysis.- An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction.- Session: UML.- Analysis, Design and Implementation of an Object-Oriented Framework in Ada95.- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project.- Session: Formal Analysis Methods.- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.- Exceptions in OO Languages: Using Them and Reasoning about Them.- (True) Polymorphism in SPARK2000.- Session: Testing.- Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation.- Results of an Investigation into Software Integration Testing Automation.- On the Minimal Essential Subsets and Minimal Representative Sets.
[1]
Lui Sha,et al.
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
,
1990,
IEEE Trans. Computers.
[2]
Frank Mueller,et al.
Implementing Ada 9X features using POSIX Threads: design issues
,
1993,
TRI-Ada '93.
[3]
Alfred Strohmeier,et al.
Quality-for-ASIS: A Portable Testing Facility for ASIS
,
1998,
Ada-Europe.
[4]
T. P. Baker,et al.
The GNU Ada runtime library (GNARL)
,
1994,
WADAS '94.
[5]
John D. Musa,et al.
Software reliability measurement
,
1984,
J. Syst. Softw..
[6]
Javier Miranda.
A Detailed Description of the GNU Ada Run Time
,
2002
.
[7]
Marco Spuri,et al.
Holistic Analysis for Deadline Scheduled Real-Time Distributed Systems
,
1996
.
[8]
A. Wood,et al.
Predicting Software Reliability
,
1996,
Computer.
[9]
David A. Thomas,et al.
Smalltalk With Style
,
2002
.
[10]
Jouni Similä,et al.
Bootstrap: a Software Process Assessment and Improvement Methodology
,
1995,
Int. J. Softw. Eng. Knowl. Eng..
[11]
Dale Karolak,et al.
Software engineering risk management
,
1995
.
[12]
Edmond Schonberg,et al.
The GNAT project: a GNU-Ada 9X compiler
,
1994,
TRI-Ada '94.
[13]
Capers Jones,et al.
Patterns of software system failure and success
,
1996
.
[14]
Theodore P. Baker,et al.
A stack-based resource allocation policy for realtime processes
,
1990,
[1990] Proceedings 11th Real-Time Systems Symposium.
[15]
Giuseppe Lipari,et al.
Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip
,
2001,
Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).
[16]
F. Haight.
Handbook of the Poisson Distribution
,
1967
.
[17]
Mario Aldea Rivas,et al.
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
,
2001,
Ada-Europe.