skip to content
Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings Preview this item
ClosePreview this item
Checking...

Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings

Author: H B Keller; Erhard Plödereder
Publisher: Berlin ; New York : Springer, ©2000.
Series: Lecture notes in computer science, 1845.
Edition/Format:  eBook : Document : Conference publication : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Ada-Europe International Conference (5th : 2000 : Potsdam, Germany).
Reliable software technologies Ada-Europe 2000.
Berlin ; New York : Springer, ©2000
(OCoLC)44270318
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: H B Keller; Erhard Plödereder
ISBN: 3540676694 9783540676690 9783540450986 354045098X
OCLC Number: 321349928
Language Note: English.
Description: 1 online resource (xiii, 304 pages) : illustrations.
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.
Series Title: Lecture notes in computer science, 1845.
Responsibility: Hubert B. Keller, Erhard Plödereder.

Abstract:

These conference papers cover real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.  Read more...

Reviews

User-contributed reviews

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/321349928> # Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "321349928" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890275988#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://dewey.info/class/005.133/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/890275988#Topic/computer_software_reliability> ; # Computer software--Reliability
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/67105809> ; # Hubert B. Keller
    schema:contributor <http://viaf.org/viaf/6161380> ; # Erhard Plödereder
    schema:copyrightYear "2000" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/890275988#Meeting/ada_europe_international_conference_5th_2000_potsdam_germany> ; # Ada-Europe International Conference (5th : 2000 : Potsdam, Germany)
    schema:datePublished "2000" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/890275988> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890275988#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/44270318> ;
    schema:name "Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings"@en ;
    schema:productID "321349928" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/321349928#PublicationEvent/berlin_new_york_springer_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/890275988#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/10.1007/10722060> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1845> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-67669-0> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-67669-0> ;
    schema:url <http://dx.doi.org/10.1007/10722060> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/10722060> ;
    schema:workExample <http://worldcat.org/isbn/9783540450986> ;
    schema:workExample <http://worldcat.org/isbn/9783540676690> ;
    schema:workExample <http://dx.doi.org/10.1007/10722060> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/321349928> ;
    .

Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/890275988#Meeting/ada_europe_international_conference_5th_2000_potsdam_germany> # Ada-Europe International Conference (5th : 2000 : Potsdam, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/890275988#Place/potsdam_germany> ; # Potsdam, Germany)
    schema:name "Ada-Europe International Conference (5th : 2000 : Potsdam, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/890275988#Place/potsdam_germany> # Potsdam, Germany)
    a schema:Place ;
    schema:name "Potsdam, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/890275988#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/321349928> ; # Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://viaf.org/viaf/6161380> # Erhard Plödereder
    a schema:Person ;
    schema:familyName "Plödereder" ;
    schema:givenName "Erhard" ;
    schema:name "Erhard Plödereder" ;
    .

<http://viaf.org/viaf/67105809> # Hubert B. Keller
    a schema:Person ;
    schema:familyName "Keller" ;
    schema:givenName "Hubert B." ;
    schema:givenName "H. B." ;
    schema:name "Hubert B. Keller" ;
    .

<http://worldcat.org/isbn/9783540450986>
    a schema:ProductModel ;
    schema:isbn "354045098X" ;
    schema:isbn "9783540450986" ;
    .

<http://worldcat.org/isbn/9783540676690>
    a schema:ProductModel ;
    schema:isbn "3540676694" ;
    schema:isbn "9783540676690" ;
    .

<http://www.worldcat.org/oclc/44270318>
    a schema:CreativeWork ;
    rdfs:label "Reliable software technologies Ada-Europe 2000." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/321349928> ; # Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/321349928>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/321349928> ; # Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings
    schema:dateModified "2018-03-26" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

Cancel Forgot your password?