Reliable Software Technologies Ada-Europe 2000 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Keller, Hubertus B. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Plödereder, Erhard (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1845
• Θέματα: Programming languages (Electronic computers).; Software engineering.; Computer programming.; Computer communication systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.; Computer Communication Networks.

Πίνακας περιεχομένων:

• 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.