Coverart for item
The Resource Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings

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

Label
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings
Title
Reliable Software Technologies Ada-Europe 2000
Title remainder
5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings
Creator
Contributor
Subject
Language
eng
Summary
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
Member of
http://library.link/vocab/creatorName
Keller, H. B.
Dewey number
005.1
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorName
Plödereder, Erhard
Series statement
Lecture Notes in Computer Science
Series volume
1845,
http://library.link/vocab/subjectName
  • Computer science
  • Computer Communication Networks
  • Software engineering
  • Programming Techniques
  • Programming Languages, Compilers, Interpreters
Label
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings
Instantiates
Publication
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
Control code
ocn769235325
Extent
1 online resource
Form of item
online
Isbn
9783540450986
Note
SpringerLink
Specific material designation
remote
System control number
(OCoLC)769235325
Label
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings
Publication
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
Control code
ocn769235325
Extent
1 online resource
Form of item
online
Isbn
9783540450986
Note
SpringerLink
Specific material designation
remote
System control number
(OCoLC)769235325

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...