skip to content
Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings Preview this item
ClosePreview this item
Checking...

Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings

Author: Fabrice Kordon; Yvon Kermarrec
Publisher: Berlin : Springer, ©2009.
Series: Lecture notes in computer science, 5570.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. Topics of interest  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Kongress
Conference papers and proceedings
Brest (Bretagne, 2009)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Fabrice Kordon; Yvon Kermarrec
ISBN: 9783642019234 3642019234
OCLC Number: 427506794
Description: xiv, 281 pages : illustrations ; 24 cm.
Contents: Requirements on the Target Programming Language for High-Integrity MDE.- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.- Validating Safety and Security Requirements for Partitioned Architectures.- On Comparing Testing Criteria for Logical Decisions.- Model Checking Techniques for Test Generation from Business Process Models.- An Experience on Ada Programming Using On-Line Judging.- Weak Fairness Semantic Drawbacks in Java Multithreading.- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.- Predicated Worst-Case Execution-Time Analysis.- Implementing Reactive Systems with UML State Machines and Ada 2005.- Modelling and Evaluating Real-Time Software Architectures.- A Formal Foundation for Metamodeling.- Modeling AADL Data Communication with BIP.- Formal Verification of AADL Specifications in the Topcased Environment.- Process-Algebraic Interpretation of AADL Models.- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.- Conceptual Modeling for System Requirements Enhancement.- Coloured Petri Nets for Chronicle Recognition.
Series Title: Lecture notes in computer science, 5570.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: Ada-Europe 2009
Responsibility: Fabrice Kordon, Yvon Kermarrec (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/427506794> # Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "427506794" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2591202033#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2591202033#Topic/computer_software_reliability> ; # Computer software--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/2591202033#Topic/eingebettetes_system> ; # Eingebettetes System
    schema:about <http://experiment.worldcat.org/entity/work/data/2591202033#Topic/ada> ; # ADA
    schema:about <http://experiment.worldcat.org/entity/work/data/2591202033#Topic/softwareentwicklung> ; # Softwareentwicklung
    schema:about <http://dewey.info/class/005.13322gerDNB/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2591202033#Topic/echtzeitsystem> ; # Echtzeitsystem
    schema:about <http://experiment.worldcat.org/entity/work/data/2591202033#Topic/zuverlassigkeit> ; # Zuverlässigkeit
    schema:alternateName "Ada-Europe 2009" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/55088809> ; # Fabrice Kordon
    schema:contributor <http://viaf.org/viaf/267054081> ; # Yvon Kermarrec
    schema:copyrightYear "2009" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2591202033#Meeting/ada_europe_international_conference_on_reliable_software_technologies_14th_2009_brest_france> ; # Ada-Europe International Conference on Reliable Software Technologies (14th : 2009 : Brest, France)
    schema:datePublished "2009" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2591202033> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Brest (Bretagne, 2009)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2591202033#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS Sublibrary: SL 2, Programming and software engineering
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2591202033#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2591202033#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:name "Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings"@en ;
    schema:productID "427506794" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/427506794#PublicationEvent/berlin_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2591202033#Agent/springer> ; # Springer
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017609902&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017609902&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://d-nb.info/994022158/04> ;
    schema:workExample <http://worldcat.org/isbn/9783642019234> ;
    umbel:isLike <http://d-nb.info/994022158> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/427506794> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2591202033#Meeting/ada_europe_international_conference_on_reliable_software_technologies_14th_2009_brest_france> # Ada-Europe International Conference on Reliable Software Technologies (14th : 2009 : Brest, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2591202033#Place/brest_france> ; # Brest, France)
    schema:name "Ada-Europe International Conference on Reliable Software Technologies (14th : 2009 : Brest, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2591202033#Place/brest_france> # Brest, France)
    a schema:Place ;
    schema:name "Brest, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2591202033#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/427506794> ; # Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2591202033#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/427506794> ; # Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/2591202033#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS Sublibrary: SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/427506794> ; # Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings
    schema:name "LNCS Sublibrary: SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/2591202033#Topic/eingebettetes_system> # Eingebettetes System
    a schema:Intangible ;
    schema:name "Eingebettetes System"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2591202033#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
    schema:name "Softwareentwicklung"@en ;
    .

<http://viaf.org/viaf/267054081> # Yvon Kermarrec
    a schema:Person ;
    schema:familyName "Kermarrec" ;
    schema:givenName "Yvon" ;
    schema:name "Yvon Kermarrec" ;
    .

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

<http://worldcat.org/isbn/9783642019234>
    a schema:ProductModel ;
    schema:isbn "3642019234" ;
    schema:isbn "9783642019234" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/427506794> ; # Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/427506794>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/427506794> ; # Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings
    schema:dateModified "2018-04-05" ;
    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.