skip to content
Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 ; proceedings Preview this item
ClosePreview this item
Checking...

Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 ; proceedings

Author: Albert Llamosí; Alfred Strohmeier
Publisher: Berlin [u.a.] : Springer, 2004.
Series: Lecture notes in computer science, 3063.
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Reliable Software Technologies - Ada-Europe 2004.
Database:WorldCat
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
Conference papers and proceedings
Congresses
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Albert Llamosí; Alfred Strohmeier
ISBN: 3540220119 9783540220114
OCLC Number: 249174078
In: Llamosí, Albert
Notes: Literaturangaben.
Description: XIII, 331 S : ill., graph. Darst.
Contents: Invited Papers.- Benefits and Problems of Formal Methods.- On the Role of Conceptual Schemas in Information Systems Development.- An Overview of Middleware.- Static Analysis.- Static Deadlock Detection in the Linux Kernel.- Extracting Ada 95 Objects from Legacy Ada Programs.- On the Tree Width of Ada Programs.- Distributed Systems.- The Chance for Ada to Support Distribution and Real-Time in Embedded Systems.- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.- Event Language for Real-Time On-the-Fly Control According to the Initial Requirements.- Real-Time Systems.- Implementing Execution-Time Clocks for the Ada Ravenscar Profile.- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.- Supporting Deadlines and EDF Scheduling in Ada.- Reflection and XML.- OpenAda: Compile-Time Reflection for Ada 95.- XML4Ada95 Accessing XML Using the DOM in Ada95.- Testing.- A Randomised Test Approach to Testing Safety Critical Ada Code.- Good Random Testing.- Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada.- Critical Systems Modeling.- High Integrity Ada in a UML and C World.- Ada Meets Giotto.- High-Integrity Interfacing to Programmable Logic with Ada.- Scheduling.- Dynamic Ceiling Priorities: A Proposal for Ada0Y.- Mixing Scheduling Policies in Ada.- Implementing an Application-Defined Scheduling Framework for Ada Tasking.- Application Programming Interfaces.- A Theory of Persistent Containers and Its Application to Ada.- Shortcuts: A Critical Look.- Vector Processing in Ada.
Series Title: Lecture notes in computer science, 3063.
Responsibility: Albert Llamosí ; Alfred Strohmeier (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/249174078> # Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 ; proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "249174078" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3769241524#Place/berlin_u_a> ; # Berlin u.a.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/kongress> ; # Kongress
    schema:about <http://dewey.info/class/005.1/> ;
    schema:about <http://id.worldcat.org/fast/796426> ; # Ada (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/eingebettetes_system_ausfallsicheres_system_softwareentwicklung_zuverlassigkeit> ; # Eingebettetes System--Ausfallsicheres System--Softwareentwicklung--Zuverlässigkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/eingebettetes_system> ; # Eingebettetes System
    schema:about <http://id.worldcat.org/fast/872585> ; # Computer software--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/softwareentwicklung> ; # Softwareentwicklung
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/ada_computer_program_language_congresses> ; # Ada (Computer program language)--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/zuverlassigkeit> ; # Zuverlässigkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/computer_software_reliability> ; # Computer software--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Place/palma_de_mallorca_2004> ; # Palma de Mallorca (2004)
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/ada> ; # Ada
    schema:about <http://experiment.worldcat.org/entity/work/data/3769241524#Topic/computer_software_reliability_congresses> ; # Computer software--Reliability--Congresses
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/306103615> ; # Albert Llamosí
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3769241524#Meeting/ada_europe_2004_9_2004_06_palma_de_mallorca> ; # Ada-Europe 2004 (9 : 2004.06 : Palma de Mallorca)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3769241524#Person/strohmeier_alfred> ; # Alfred Strohmeier
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3769241524#Meeting/ada_europe_international_conference_on_reliable_software_technologies_9_2004_06_palma_de_mallorca> ; # Ada-Europe International Conference on Reliable Software Technologies (9 : 2004.06 : Palma de Mallorca)
    schema:datePublished "2004" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3769241524> ;
    schema:genre "Conference papers and proceedings" ;
    schema:genre "Kongress" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3769241524#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 ; proceedings" ;
    schema:productID "249174078" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/249174078#PublicationEvent/berlin_u_a_springer_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3769241524#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz111797578vor.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz111797578cov.htm> ;
    schema:url <http://dx.doi.org/10.1007/b97913> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0818/2004105048-d.html> ;
    schema:url <http://swbplus.bsz-bw.de/bsz111797578inh.htm> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3063> ;
    schema:workExample <http://worldcat.org/isbn/9783540220114> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/249174078> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3769241524#Meeting/ada_europe_2004_9_2004_06_palma_de_mallorca> # Ada-Europe 2004 (9 : 2004.06 : Palma de Mallorca)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3769241524#Place/palma_de_mallorca> ; # Palma de Mallorca)
    schema:name "Ada-Europe 2004 (9 : 2004.06 : Palma de Mallorca)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769241524#Meeting/ada_europe_international_conference_on_reliable_software_technologies_9_2004_06_palma_de_mallorca> # Ada-Europe International Conference on Reliable Software Technologies (9 : 2004.06 : Palma de Mallorca)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3769241524#Place/palma_de_mallorca> ; # Palma de Mallorca)
    schema:name "Ada-Europe International Conference on Reliable Software Technologies (9 : 2004.06 : Palma de Mallorca)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769241524#Person/strohmeier_alfred> # Alfred Strohmeier
    a schema:Person ;
    schema:familyName "Strohmeier" ;
    schema:givenName "Alfred" ;
    schema:name "Alfred Strohmeier" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769241524#Place/palma_de_mallorca> # Palma de Mallorca)
    a schema:Place ;
    schema:name "Palma de Mallorca)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769241524#Place/palma_de_mallorca_2004> # Palma de Mallorca (2004)
    a schema:Place ;
    schema:name "Palma de Mallorca (2004)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769241524#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/249174078> ; # Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 ; proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769241524#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/3769241524#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/3769241524#Topic/eingebettetes_system> # Eingebettetes System
    a schema:Intangible ;
    schema:name "Eingebettetes System" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769241524#Topic/eingebettetes_system_ausfallsicheres_system_softwareentwicklung_zuverlassigkeit> # Eingebettetes System--Ausfallsicheres System--Softwareentwicklung--Zuverlässigkeit
    a schema:Intangible ;
    schema:name "Eingebettetes System--Ausfallsicheres System--Softwareentwicklung--Zuverlässigkeit" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3769241524#Topic/zuverlassigkeit> # Zuverlässigkeit
    a schema:Intangible ;
    schema:name "Zuverlässigkeit" ;
    .

<http://id.worldcat.org/fast/796426> # Ada (Computer program language)
    a schema:Intangible ;
    schema:name "Ada (Computer program language)" ;
    .

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

<http://viaf.org/viaf/306103615> # Albert Llamosí
    a schema:Person ;
    schema:familyName "Llamosí" ;
    schema:givenName "Albert" ;
    schema:name "Albert Llamosí" ;
    .

<http://worldcat.org/isbn/9783540220114>
    a schema:ProductModel ;
    schema:isbn "3540220119" ;
    schema:isbn "9783540220114" ;
    .

<http://www.worldcat.org/title/-/oclc/249174078>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/249174078> ; # Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 ; proceedings
    schema:dateModified "2016-08-09" ;
    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.