E-Book, Englisch, Band 1845, 306 Seiten, eBook
Keller / Plödereder Reliable Software Technologies Ada-Europe 2000
Erscheinungsjahr 2006
ISBN: 978-3-540-45098-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings
E-Book, Englisch, Band 1845, 306 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-45098-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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 BehavioralSimulation.- Results of an Investigation into Software Integration Testing Automation.- On the Minimal Essential Subsets and Minimal Representative Sets.
