skip to content
Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings Preview this item
ClosePreview this item
Checking...

Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings

Author: Nabil Abdennadher; Fabrice Kordon; Ada-Europe (Organization)
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4498.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies.

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
Kongress
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Nabil Abdennadher; Fabrice Kordon; Ada-Europe (Organization)
ISBN: 9783540732297 3540732292
OCLC Number: 145453812
Description: xiv, 245 pages : illustrations ; 24 cm.
Contents: Real-Time Utilities for Ada 2005.- Handling Temporal Faults in Ada 2005.- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.- Enhancing Dependability of Component-Based Systems.- On Detecting Double Literal Faults in Boolean Expressions.- Static Detection of Livelocks in Ada Multitasking Programs.- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers.- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.- ArchMDE Approach for the Development of Embedded Real Time Systems.- Generating Distributed High Integrity Applications from Their Architectural Description.- Automatic Ada Code Generation Using a Model-Driven Engineering Approach.- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.- Modelling Remote Concurrency with Ada.- Design and Performance of a Generic Consensus Component for Critical Distributed Applications.- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research.- Incorporating Precise Garbage Collection in an Ada Compiler.
Series Title: Lecture notes in computer science, 4498.
Other Titles: Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies
Twelfth Ada-Europe International Conference on Reliable Software Technologies
Responsibility: Nabil Abdennadher, Fabrice Kordon (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks 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/145453812> # Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "145453812" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3768408898#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/computer_software_reliability> ; # Computer software--Reliability
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/ada_softwareentwicklung_zuverlassigkeit_eingebettetes_system_genf_2007> ; # ADA--Softwareentwicklung--Zuverlässigkeit--Eingebettetes System--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/echtzeitsystem_softwareentwicklung_zuverlassigkeit_ada_genf_2007> ; # Echtzeitsystem--Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/ada_zuverlassigkeit_softwareentwicklung_genf_2007> ; # ADA--Zuverlässigkeit--Softwareentwicklung--Genf <2007>
   schema:about <http://dewey.info/class/005/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/softwareentwicklung_zuverlassigkeit_echtzeitsystem_ada_genf_2007> ; # Softwareentwicklung--Zuverlässigkeit--Echtzeitsystem--ADA--Genf <2007>
   schema:about <http://id.worldcat.org/fast/872585> ; # Computer software--Reliability
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/zuverlassigkeit_softwareentwicklung_echtzeitsystem_ada_genf_2007> ; # Zuverlässigkeit--Softwareentwicklung--Echtzeitsystem--ADA--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/zuverlassigkeit_softwareentwicklung_ada_genf_2007> ; # Zuverlässigkeit--Softwareentwicklung--ADA--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/softwareentwicklung_zuverlassigkeit_ada_genf_2007> ; # Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/zuverlassigkeit_softwareentwicklung_eingebettetes_system_ada_genf_2007> ; # Zuverlässigkeit--Softwareentwicklung--Eingebettetes System--ADA--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/zuverlassigkeit_softwareentwicklung_genf_2007> ; # Zuverlässigkeit--Softwareentwicklung--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/softwareentwicklung_zuverlassigkeit_genf_2007> ; # Softwareentwicklung--Zuverlässigkeit--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/softwareentwicklung_eingebettetes_system_zuverlassigkeit_ada_genf_2007> ; # Softwareentwicklung--Eingebettetes System--Zuverlässigkeit--ADA--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/eingebettetes_system_softwareentwicklung_zuverlassigkeit_ada_genf_2007> ; # Eingebettetes System--Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>
   schema:about <http://experiment.worldcat.org/entity/work/data/3768408898#Topic/ada_softwareentwicklung_zuverlassigkeit_echtzeitsystem_genf_2007> ; # ADA--Softwareentwicklung--Zuverlässigkeit--Echtzeitsystem--Genf <2007>
   schema:alternateName "Ada-Europe 2007" ;
   schema:alternateName "Twelfth Ada-Europe International Conference on Reliable Software Technologies" ;
   schema:alternateName "12th Ada-Europe International Conference on Reliable Software Technologies" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/124629883> ; # Ada-Europe (Organization)
   schema:contributor <http://viaf.org/viaf/50413075> ; # Nabil Abdennadher
   schema:contributor <http://viaf.org/viaf/55088809> ; # Fabrice Kordon
   schema:copyrightYear "2007" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3768408898#Meeting/ada_europe_international_conference_on_reliable_software_technologies_12th_2007_geneva_switzerland> ; # Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switzerland)
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3768408898> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings"@en ;
   schema:productID "145453812" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/145453812#PublicationEvent/berlin_new_york_springer_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3768408898#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/978-3-540-73230-3> ;
   schema:url <http://mutex.gmu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4498> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4498> ;
   schema:workExample <http://worldcat.org/isbn/9783540732297> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/145453812> ;
    .


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/3768408898#Meeting/ada_europe_international_conference_on_reliable_software_technologies_12th_2007_geneva_switzerland> # Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switzerland)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3768408898#Place/geneva_switzerland> ; # Geneva, Switzerland)
   schema:name "Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switzerland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Place/geneva_switzerland> # Geneva, Switzerland)
    a schema:Place ;
   schema:name "Geneva, Switzerland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/ada_softwareentwicklung_zuverlassigkeit_echtzeitsystem_genf_2007> # ADA--Softwareentwicklung--Zuverlässigkeit--Echtzeitsystem--Genf <2007>
    a schema:Intangible ;
   schema:name "ADA--Softwareentwicklung--Zuverlässigkeit--Echtzeitsystem--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/ada_softwareentwicklung_zuverlassigkeit_eingebettetes_system_genf_2007> # ADA--Softwareentwicklung--Zuverlässigkeit--Eingebettetes System--Genf <2007>
    a schema:Intangible ;
   schema:name "ADA--Softwareentwicklung--Zuverlässigkeit--Eingebettetes System--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/ada_zuverlassigkeit_softwareentwicklung_genf_2007> # ADA--Zuverlässigkeit--Softwareentwicklung--Genf <2007>
    a schema:Intangible ;
   schema:name "ADA--Zuverlässigkeit--Softwareentwicklung--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/echtzeitsystem_softwareentwicklung_zuverlassigkeit_ada_genf_2007> # Echtzeitsystem--Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>
    a schema:Intangible ;
   schema:name "Echtzeitsystem--Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/eingebettetes_system_softwareentwicklung_zuverlassigkeit_ada_genf_2007> # Eingebettetes System--Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>
    a schema:Intangible ;
   schema:name "Eingebettetes System--Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/softwareentwicklung_eingebettetes_system_zuverlassigkeit_ada_genf_2007> # Softwareentwicklung--Eingebettetes System--Zuverlässigkeit--ADA--Genf <2007>
    a schema:Intangible ;
   schema:name "Softwareentwicklung--Eingebettetes System--Zuverlässigkeit--ADA--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/softwareentwicklung_zuverlassigkeit_ada_genf_2007> # Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>
    a schema:Intangible ;
   schema:name "Softwareentwicklung--Zuverlässigkeit--ADA--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/softwareentwicklung_zuverlassigkeit_echtzeitsystem_ada_genf_2007> # Softwareentwicklung--Zuverlässigkeit--Echtzeitsystem--ADA--Genf <2007>
    a schema:Intangible ;
   schema:name "Softwareentwicklung--Zuverlässigkeit--Echtzeitsystem--ADA--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/softwareentwicklung_zuverlassigkeit_genf_2007> # Softwareentwicklung--Zuverlässigkeit--Genf <2007>
    a schema:Intangible ;
   schema:name "Softwareentwicklung--Zuverlässigkeit--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/zuverlassigkeit_softwareentwicklung_ada_genf_2007> # Zuverlässigkeit--Softwareentwicklung--ADA--Genf <2007>
    a schema:Intangible ;
   schema:name "Zuverlässigkeit--Softwareentwicklung--ADA--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/zuverlassigkeit_softwareentwicklung_echtzeitsystem_ada_genf_2007> # Zuverlässigkeit--Softwareentwicklung--Echtzeitsystem--ADA--Genf <2007>
    a schema:Intangible ;
   schema:name "Zuverlässigkeit--Softwareentwicklung--Echtzeitsystem--ADA--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/zuverlassigkeit_softwareentwicklung_eingebettetes_system_ada_genf_2007> # Zuverlässigkeit--Softwareentwicklung--Eingebettetes System--ADA--Genf <2007>
    a schema:Intangible ;
   schema:name "Zuverlässigkeit--Softwareentwicklung--Eingebettetes System--ADA--Genf <2007>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768408898#Topic/zuverlassigkeit_softwareentwicklung_genf_2007> # Zuverlässigkeit--Softwareentwicklung--Genf <2007>
    a schema:Intangible ;
   schema:name "Zuverlässigkeit--Softwareentwicklung--Genf <2007>"@en ;
    .

<http://id.worldcat.org/fast/872585> # Computer software--Reliability
    a schema:Intangible ;
   schema:name "Computer software--Reliability"@en ;
    .

<http://mutex.gmu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4498>
   rdfs:comment "Electronic resource available to Mason students, faculty, staff, and onsite patrons." ;
    .

<http://viaf.org/viaf/124629883> # Ada-Europe (Organization)
    a schema:Organization ;
   schema:name "Ada-Europe (Organization)" ;
    .

<http://viaf.org/viaf/50413075> # Nabil Abdennadher
    a schema:Person ;
   schema:familyName "Abdennadher" ;
   schema:givenName "Nabil" ;
   schema:name "Nabil Abdennadher" ;
    .

<http://viaf.org/viaf/55088809> # Fabrice Kordon
    a schema:Person ;
   schema:familyName "Kordon" ;
   schema:givenName "Fabrice" ;
   schema:name "Fabrice Kordon" ;
    .

<http://worldcat.org/isbn/9783540732297>
    a schema:ProductModel ;
   schema:isbn "3540732292" ;
   schema:isbn "9783540732297" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/145453812> ; # Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/145453812>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/145453812> ; # Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings
   schema:dateModified "2017-12-23" ;
   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.