skip to content
Reliable Software Technologies – Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings Preview this item
ClosePreview this item
Checking...

Reliable Software Technologies – Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

Author: Luís Miguel Pinho; Michael González Harbour; Ada-Europe International Conference on Reliable Software Technologies
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series: Lecture notes in computer science, 4006.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books
Summary:
The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent  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: Electronic books
Congresses
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Luís Miguel Pinho; Michael González Harbour; Ada-Europe International Conference on Reliable Software Technologies
ISBN: 3540346643 9783540346647 3540346635 9783540346630
OCLC Number: 1037807745
Language Note: English.
Description: 1 online resource (XII, 244 p.)
Contents: Real-Time Systems --
Hierarchical Scheduling with Ada 2005 --
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications --
POSIX Trace Based Behavioural Reflection --
Static Analysis --
Static Detection of Access Anomalies in Ada95 --
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code --
Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering --
Verification --
SPARK Annotations Within Executable UML --
Runtime Verification of Java Programs for Scenario-Based Specifications --
Applications --
Secure Execution of Computations in Untrusted Hosts --
A Systematic Approach to Developing Safe Tele-operated Robots --
Towards Developing Multi-agent Systems in Ada --
Reliability --
A Software Reliability Model Based on a Geometric Sequence of Failure Rates --
Adaptive Random Testing Through Iterative Partitioning --
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems --
Compilers --
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ --
Using Mathematics to Improve Ada Compiled Code --
Distributed Systems --
Replication-Aware Transactions: How to Roll a Transaction over Failures --
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems --
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution.
Series Title: Lecture notes in computer science, 4006.
Other Titles: Reliable Software Technology -- Ada-Europe 2006
Reliable Software Technologies – Ada-Europe 2006
Ada-Europe'06
Lecture Notes in Computer Science
Lecture Notes in Computer Science, Volume 4006
Lecture Notes in Computer Science. Volume 4006
Responsibility: edited by Luís Miguel Pinho, Michael González Harbour.

Abstract:

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.

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/1037807745> # Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "1037807745" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/special_purpose_and_application_based_systems> ; # Special Purpose and Application-Based Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_computer_program_language> ; # Ada (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_software_reliability> ; # Computer software--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://dewey.info/class/005.14/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/103981641#Topic/management_of_computing_and_information_systems> ; # Management of Computing and Information Systems
    schema:alternateName "Ada-Europe'06" ;
    schema:alternateName "Lecture Notes in Computer Science. Volume 4006" ;
    schema:alternateName "Lecture Notes in Computer Science, Volume 4006" ;
    schema:alternateName "Lecture Notes in Computer Science" ;
    schema:alternateName "Reliable Software Technology -- Ada-Europe 2006" ;
    schema:alternateName "Reliable Software Technologies – Ada-Europe 2006" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies> ; # Ada-Europe International Conference on Reliable Software Technologies.
    schema:creator <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_11th_2006_porto_portugal> ; # Ada-Europe International Conference on Reliable Software Technologies (11th : 2006 : Porto, Portugal)
    schema:creator <http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference_on_reliable_software_technologies> ; # Ada-Europe International Conference on Reliable Software Technologies
    schema:creator <http://experiment.worldcat.org/entity/work/data/103981641#Person/pinho_luis_miguel> ; # Luís Miguel Pinho
    schema:datePublished "2006" ;
    schema:description "Real-Time Systems -- Hierarchical Scheduling with Ada 2005 -- A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications -- POSIX Trace Based Behavioural Reflection -- Static Analysis -- Static Detection of Access Anomalies in Ada95 -- One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code -- Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering -- Verification -- SPARK Annotations Within Executable UML -- Runtime Verification of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations in Untrusted Hosts -- A Systematic Approach to Developing Safe Tele-operated Robots -- Towards Developing Multi-agent Systems in Ada -- Reliability -- A Software Reliability Model Based on a Geometric Sequence of Failure Rates -- Adaptive Random Testing Through Iterative Partitioning -- Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems -- Compilers -- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ -- Using Mathematics to Improve Ada Compiled Code -- Distributed Systems -- Replication-Aware Transactions: How to Roll a Transaction over Failures -- The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems -- Interchangeable Scheduling Policies in Real-Time Middleware for Distribution."@en ;
    schema:description "The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/103981641#Person/gonzalez_harbour_michael> ; # Michael González Harbour
    schema:editor <http://experiment.worldcat.org/entity/work/data/103981641#Person/pinho_luis_miguel> ; # Luís Miguel Pinho
    schema:exampleOfWork <http://worldcat.org/entity/work/id/103981641> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/103981641#CreativeWork/> ;
    schema:name "Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings"@en ;
    schema:numberOfPages "244" ;
    schema:productID "1037807745" ;
    schema:url <https://login.ezproxy.brunel.ac.uk/login?url=http://dx.doi.org/10.1007/11767077> ;
    schema:url <http://libproxy.dundee.ac.uk/login?url=http://dx.doi.org/10.1007/11767077> ;
    schema:url <http://dl.acm.org/citation.cfm?id=2094720> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-34663-0> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=http://dx.doi.org/10.1007/11767077> ;
    schema:url <http://dx.doi.org/10.1007/11767077> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-34663-0> ;
    schema:workExample <http://dx.doi.org/10.1007/11767077> ;
    schema:workExample <http://worldcat.org/isbn/9783540346647> ;
    schema:workExample <http://worldcat.org/isbn/9783540346630> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1037807745> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies> # Ada-Europe International Conference on Reliable Software Technologies.
    a bgn:Meeting, schema:Event ;
    schema:name "Ada-Europe International Conference on Reliable Software Technologies." ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_11th_2006_porto_portugal> # Ada-Europe International Conference on Reliable Software Technologies (11th : 2006 : Porto, Portugal)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/103981641#Place/porto_portugal> ; # Porto, Portugal)
    schema:name "Ada-Europe International Conference on Reliable Software Technologies (11th : 2006 : Porto, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference_on_reliable_software_technologies> # Ada-Europe International Conference on Reliable Software Technologies
    a schema:Organization ;
    schema:name "Ada-Europe International Conference on Reliable Software Technologies" ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Person/gonzalez_harbour_michael> # Michael González Harbour
    a schema:Person ;
    schema:familyName "González Harbour" ;
    schema:givenName "Michael" ;
    schema:name "Michael González Harbour" ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Person/pinho_luis_miguel> # Luís Miguel Pinho
    a schema:Person ;
    schema:familyName "Pinho" ;
    schema:givenName "Luís Miguel" ;
    schema:name "Luís Miguel Pinho" ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Place/porto_portugal> # Porto, Portugal)
    a schema:Place ;
    schema:name "Porto, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_computer_program_language> # Ada (Computer program language)
    a schema:Intangible ;
    schema:name "Ada (Computer program language)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
    schema:name "Computer Communication Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science"@en ;
    schema:name "Computer science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_software_reliability> # Computer software--Reliability
    a schema:Intangible ;
    schema:name "Computer software--Reliability"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/management_of_computing_and_information_systems> # Management of Computing and Information Systems
    a schema:Intangible ;
    schema:name "Management of Computing and Information Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    schema:name "Software engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/103981641#Topic/special_purpose_and_application_based_systems> # Special Purpose and Application-Based Systems
    a schema:Intangible ;
    schema:name "Special Purpose and Application-Based Systems"@en ;
    .

<http://libproxy.dundee.ac.uk/login?url=http://dx.doi.org/10.1007/11767077>
    rdfs:comment "An electronic book accessible through the World Wide Web; click to view." ;
    .

<http://worldcat.org/entity/work/data/103981641#CreativeWork/>
    a schema:CreativeWork ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1037807745> ; # Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
    .

<http://worldcat.org/isbn/9783540346630>
    a schema:ProductModel ;
    schema:isbn "3540346635" ;
    schema:isbn "9783540346630" ;
    .

<http://worldcat.org/isbn/9783540346647>
    a schema:ProductModel ;
    schema:isbn "3540346643" ;
    schema:isbn "9783540346647" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1037807745> ; # Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. 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/1037807745>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1037807745> ; # Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
    schema:dateModified "2019-09-14" ;
    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.