skip to content
Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 ; proceedings Preview this item
ClosePreview this item
Checking...

Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 ; proceedings

Author: Tullio Vardanega
Publisher: Berlin : Springer, 2005.
Series: Lecture notes in computer science, 3555.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies  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: Kongress - York <2005> - Eingebettetes System - ADA - Zuverlässigkeit - Softwareentwicklung
Kongress - York <2005> - Softwareentwicklung - ADA - Zuverlässigkeit
Kongress - York <2005> - Softwareentwicklung - Zuverlässigkeit
Kongress
York (2005)
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Tullio Vardanega
ISBN: 3540262865 9783540262862
OCLC Number: 255270379
Notes: Literaturangaben.
Description: XV, 271 Seiten : Illustrationen, Diagramme.
Contents: Applications.- ILTIS - The Legacy of a Successful Product.- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle.- An Ada Framework for QoS-Aware Applications.- Design and Scheduling Issues.- Efficient Alternatives for Implementing Fixed-Priority Schedulers.- A New Strategy for the HRT-HOOD to Ada Mapping.- Using the AADL to Describe Distributed Applications from Middleware to Software Components.- Formal Methods.- Extending Ravenscar with CSP Channels.- Dynamic Tasks Verification with Quasar.- Proving Functional Equivalence for Program Slicing in SPARKTM.- Ada and Education.- Teaching Software Engineering with Ada 95.- A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTM.- Certification and Verification.- Smart Certification of Mixed Criticality Systems.- Non-intrusive System Level Fault-Tolerance.- Distributed Systems.- Observing the Development of a Reliable Embedded System.- RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet.- Distributing Criticality Across Ada Partitions.- Language Issues.- The Implementation of Ada 2005 Interface Types in the GNAT Compiler.- Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks.- The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.- Ravenscar Technology.- GNAT Pro for On-board Mission-Critical Space Applications.- The ESA Ravenscar Benchmark.
Series Title: Lecture notes in computer science, 3555.
Responsibility: Tullio Vardanega ... (eds.).
More information:

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/255270379> # Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 ; proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "255270379" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/349681509#Place/berlin> ; # Berlin
   schema:about <http://dewey.info/class/005.1/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/349681509#Topic/computer_software_congresses_reliability> ; # Computer software--Congresses--Reliability
   schema:about <http://experiment.worldcat.org/entity/work/data/349681509#Topic/eingebettetes_system> ; # Eingebettetes System
   schema:about <http://experiment.worldcat.org/entity/work/data/349681509#Topic/computer_software_reliability_congresses> ; # Computer software--Reliability--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/349681509#Topic/ada> ; # ADA
   schema:about <http://experiment.worldcat.org/entity/work/data/349681509#Topic/ada_computer_program_language_congresses> ; # Ada (Computer program language)--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/349681509#Topic/softwareentwicklung> ; # Softwareentwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/349681509#Topic/zuverlassigkeit> ; # Zuverlässigkeit
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/349681509#Meeting/ada_europe_2005_10_2005_06_20_24_york> ; # Ada-Europe 2005 (10 : 2005.06.20-24 : York)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/349681509#Person/vardanega_tullio> ; # Tullio Vardanega
   schema:contributor <http://experiment.worldcat.org/entity/work/data/349681509#Meeting/ada_europe_international_conference_on_reliable_software_technologies_10_2005_06_20_24_york> ; # Ada-Europe International Conference on Reliable Software Technologies (10 : 2005.06.20-24 : York)
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/349681509> ;
   schema:genre "York (2005)" ;
   schema:genre "Kongress - York <2005> - Softwareentwicklung - ADA - Zuverlässigkeit" ;
   schema:genre "Kongress - York <2005> - Eingebettetes System - ADA - Zuverlässigkeit - Softwareentwicklung" ;
   schema:genre "Kongress - York <2005> - Softwareentwicklung - Zuverlässigkeit" ;
   schema:genre "Kongress" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/349681509#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 ; proceedings" ;
   schema:productID "255270379" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/255270379#PublicationEvent/berlin_springer_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/349681509#Agent/springer> ; # Springer
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013208280&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://dx.doi.org/10.1007/b137344> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0663/2005927232-d.html> ;
   schema:url <http://swbplus.bsz-bw.de/bsz118081349cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540262862> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/255270379> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/349681509#Meeting/ada_europe_international_conference_on_reliable_software_technologies_10_2005_06_20_24_york> # Ada-Europe International Conference on Reliable Software Technologies (10 : 2005.06.20-24 : York)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/349681509#Place/york> ; # York)
   schema:name "Ada-Europe International Conference on Reliable Software Technologies (10 : 2005.06.20-24 : York)" ;
    .

<http://experiment.worldcat.org/entity/work/data/349681509#Person/vardanega_tullio> # Tullio Vardanega
    a schema:Person ;
   schema:familyName "Vardanega" ;
   schema:givenName "Tullio" ;
   schema:name "Tullio Vardanega" ;
    .

<http://experiment.worldcat.org/entity/work/data/349681509#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/255270379> ; # Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 ; proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/349681509#Topic/ada_computer_program_language_congresses> # Ada (Computer program language)--Congresses
    a schema:Intangible ;
   schema:name "Ada (Computer program language)--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/349681509#Topic/computer_software_congresses_reliability> # Computer software--Congresses--Reliability
    a schema:Intangible ;
   schema:name "Computer software--Congresses--Reliability" ;
    .

<http://experiment.worldcat.org/entity/work/data/349681509#Topic/computer_software_reliability_congresses> # Computer software--Reliability--Congresses
    a schema:Intangible ;
   schema:name "Computer software--Reliability--Congresses" ;
    .

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

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

<http://worldcat.org/isbn/9783540262862>
    a schema:ProductModel ;
   schema:isbn "3540262865" ;
   schema:isbn "9783540262862" ;
    .

<http://www.worldcat.org/title/-/oclc/255270379>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/255270379> ; # Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 ; 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.