Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
Genre/Form: | Conference papers and proceedings Congresses |
---|---|
Additional Physical Format: | Print version: Ada-Europe International Conference (5th : 2000 : Potsdam, Germany). Reliable software technologies Ada-Europe 2000. Berlin ; New York : Springer, ©2000 (OCoLC)44270318 |
Material Type: | Conference publication, Document, Internet resource |
Document Type: | Internet Resource, Computer File |
All Authors / Contributors: |
H B Keller; Erhard Plödereder |
ISBN: | 3540676694 9783540676690 9783540450986 354045098X |
OCLC Number: | 321349928 |
Language Note: | English. |
Description: | 1 online resource (xiii, 304 pages) : illustrations. |
Contents: | 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. |
Series Title: | Lecture notes in computer science, 1845. |
Responsibility: | Hubert B. Keller, Erhard Plödereder. |
Abstract:
These conference papers cover real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.
Read more...
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings".
Be the first.