Items related to Reliable Software Technologies Ada-Europe 2000: 5th...
Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings: 1845 (Lecture Notes in Computer Science, 1845) - Softcover
Synopsis
The Fifth International Conference on Reliable Software Technologies, Ada- Europe 2000, took place in Potsdam, Germany, June 26-30, 2000. It was - ganized by Ada Deutschland and sponsored by Ada-Europe, the European f- eration of national Ada societies, in cooperation with ACM SIGAda and the Gesellschaft fu ¨r Informatik (GI). We gratefully acknowledge additional spons- ship by the DFG, the German Research Foundation, and by the Forschungsz- trum Karlsruhe. This year's conference marked the 20th anniversary of consecutive annual Ada-Europe conferences and the ?fth year of a conference focusing on the g- eral area of software reliability, in which Ada excels as one of the supporting technologies. The Y2K problem has put the importance of software reliability into the limelight of media and political attention. Luckily, the dire predictions about potentially disastrous failures of critical systems did not prove true at the turn of the year, most likely because an incredible e?ort was made to update existing software, modernize systems, check-out backup mechanisms, and so on. One cannot but wonder how much more reliable the software could have been if only apercentageofthefundsspentontheY2Kproblemhadgoneintoenhancements of reliability during the development and maintenance of the software.
"synopsis" may belong to another edition of this title.
Synopsis
This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000.The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.
"About this title" may belong to another edition of this title.
Search results for Reliable Software Technologies Ada-Europe 2000: 5th...
Stock Image
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings
Print on DemandSeller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9783540676690
Buy New
£ 47.98
£ 6.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 20 available
Seller Image
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsda, Germany, June 26-30, 2000 Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 919206
Seller Image
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsda, Germany, June 26-30, 2000 Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 919206-n
Stock Image
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsda, Germany, June 26-30, 2000 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 919206-n
Buy New
£ 50.46
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science, 1845)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783540676690_new
Buy New
£ 55.95
£ 11.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsda, Germany, June 26-30, 2000 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 919206
Buy Used
£ 55.92
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Reliable Software Technologies Ada-Europe 2000
Published by
Springer Berlin Heidelberg, 2000
ISBN 10: 3540676694
ISBN 13: 9783540676690
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Seller Inventory # 4898323
Buy New
£ 41.72
£ 41.02 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540676690
Seller Image
Reliable Software Technologies Ada-Europe 2000
Published by
Springer Berlin Heidelberg Jun 2000, 2000
ISBN 10: 3540676694
ISBN 13: 9783540676690
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fifth International Conference on Reliable Software Technologies, Ada- Europe 2000, took place in Potsdam, Germany, June 26 30, 2000. It was - ganized by Ada Deutschland and sponsored by Ada-Europe, the European f- eration of national Ada societies, in cooperation with ACM SIGAda and the Gesellschaft fu r Informatik (GI). We gratefully acknowledge additional spons- ship by the DFG, the German Research Foundation, and by the Forschungsz- trum Karlsruhe. This year s conference marked the 20th anniversary of consecutive annual Ada-Europe conferences and the fth year of a conference focusing on the g- eral area of software reliability, in which Ada excels as one of the supporting technologies. The Y2K problem has put the importance of software reliability into the limelight of media and political attention. Luckily, the dire predictions about potentially disastrous failures of critical systems did not prove true at the turn of the year, most likely because an incredible e ort was made to update existing software, modernize systems, check-out backup mechanisms, and so on. One cannot but wonder how much more reliable the software could have been if only apercentageofthefundsspentontheY2Kproblemhadgoneintoenhancements of reliability during the development and maintenance of the software. 320 pp. Englisch. Seller Inventory # 9783540676690
Seller Image
Reliable Software Technologies Ada-Europe 2000
Published by
Springer, Springer Jun 2000, 2000
ISBN 10: 3540676694
ISBN 13: 9783540676690
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 320 pp. Englisch. Seller Inventory # 9783540676690