• Produktbild: Reliable Software Technologies Ada-Europe 2000
  • Produktbild: Reliable Software Technologies Ada-Europe 2000
Band 1845

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2000

Herausgeber

Hubertus B. Keller + weitere

Verlag

Springer Berlin

Seitenzahl

306

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

454 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67669-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2000

Herausgeber

Verlag

Springer Berlin

Seitenzahl

306

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

454 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67669-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Reliable Software Technologies Ada-Europe 2000
  • Produktbild: Reliable Software Technologies Ada-Europe 2000
  • 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.