1 option
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / edited by Hubertus B. Keller, Erhard Plödereder.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 1845.
- Lecture Notes in Computer Science, 0302-9743 ; 1845
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Software engineering.
- Computer programming.
- Computer networks.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Programming Techniques.
- Computer Communication Networks.
- Local Subjects:
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Programming Techniques.
- Computer Communication Networks.
- Physical Description:
- 1 online resource (XIII, 306 pages).
- Edition:
- First edition 2000.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45098-6
- 9783540450986
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.