• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Programmeringsböcker
    3. Programvaruutveckling

    Reliable Software Technologies - Ada-Europe '99

    1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings

    AvMichael Gonzalez Harbour,Juan A. de la Puente

    Häftad, Engelska, 1999

    Del i serien Lecture Notes in Computer Science

    560 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The conference is not just devoted to the Ada language, but rather to the more general area of reliable software technologies. In this sense, there are papers on formal methods, testing, software architectures and design, software engineering tools, etc. We believe that the role of reliable software technologies is becoming increasingly important, as computer applications control more and more of our everyday systems. The goal of our conference is to contribute to advancing the state of the art of all the technologies that help us in achieving better and more reliable software at a lower overall cost.

    Produktinformation

    • Utgivningsdatum:1999-05-26
    • Mått:155 x 235 x 26 mm
    • Vikt:709 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:458
    • Upplaga:1999
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540660934

    Utforska kategorier

    • Programvaruutveckling inom Data och IT
    • Programspråk inom Data och IT

    Innehållsförteckning

    • Invited Paper.- An Architectural Perspective of Real-Time Ada Applications.- Ravenscar Profile and High Integrity Systems.- A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.- An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch.- Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.- An Ada95 Solution for Certification of Embedded Safety Critical Applications.- Software Architectures and Design.- Architectural Frameworks: Defining the Contents of Architectural Descriptions.- Mapping Object-Oriented Designs to Ada.- Efficient and Extensible Multithreaded Remote Servers?.- Testing.- Report on the VERA Experiment.- Acceptance Testing of Object Oriented Systems.- Formal Methods.- Environment for the Development and Specification of Real-Time Ada Programs.- Interprocedural Symbolic Evaluation of Ada Programs with Aliases.- Automatic Veri.cation of Concurrent Ada Programs.- Translating Time Petri Net Structures in Ada 95 Statements.- Education.- Railway Scale Model Simulator.- Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine.- Distributed Systems.- yaRTI, a Ada 95 HLA Run-Time Infrastructure.- An Ada95 Implementation of a Network Coordination Language with Code Mobility.- CORBA & DSA: Divorce or Marriage?.- How to Modify the GNAT Frontend to Experiment with Ada Extensions?.- On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System.- An Application (Layer 7) Routing Switch with Ada95 Software.- Ada Binding to a Shared Object Layer.- Real-Time Scheduling and Kernels.- The Ceiling Protocol in Multi-moded Real-Time Systems1.- A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel.- Implementing a NewLow-Level Tasking Support for the GNAT Runtime System?.- Tools.- MetaScribe, an Ada-Based Tool for the Construction of Tranformation Engines.- An Adaptation of Our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications Using Persistence.- Browsing a Component Library Using Non-functional Information.- The Role of Ada in Hardware/Software Codesign.- Hw/Sw Codesign of Embedded Systems.- Hardware/Software Embedded System Specification and Design Using Ada and VHDL1.- System on Chip Specification and Design Languages Standardization.- Fault Tolerance.- An Incremental Recovery Cache Supporting Software Fault Tolerance.- Shared Recoverable Objects.- Fault Tolerance by Transparent Replication for Distributed Ada 95.- Case Studies.- A Case Study in the Reuse of On-Board Embedded Real-Time Software.- Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches.
    Hoppa över listan

    Du kanske också är intresserad av

    Juan A. de la Puente, Michael Gonzalez Harbour - Reliable Software Technologies - Ada-Europe '99, E-bok

    Reliable Software Technologies - Ada-Europe '99

    Juan A. de la Puente, Michael Gonzalez Harbour

    E-bok
    2003

    732 kr

    Frida Gråsjö - En fråga om mord, Pocket
    • -51%
    Del 1

    En fråga om mord

    Frida Gråsjö

    Pocket, 2025

    3,8 utav 5 stjärnor. Totalt antal röster:(6)

    49 kr99 kr

    Mats Ahlstedt, Veronica Ahlstedt McCleave - Visselblåsaren, Pocket
    • -51%
    Del 1

    Visselblåsaren

    Mats Ahlstedt, Veronica Ahlstedt McCleave

    Pocket, 2025

    3,5 utav 5 stjärnor. Totalt antal röster:(2)

    49 kr99 kr

    Carola Häggkvist - SIGNERAD - Jag är Carola, Inbunden
    • Signerad!

    SIGNERAD - Jag är Carola

    Carola Häggkvist

    Inbunden, 2026

    269 kr

    Mats Ahlstedt, Veronica Ahlstedt McCleave - Svindlarna, Pocket
    • -51%
    Del 2

    Svindlarna

    Mats Ahlstedt, Veronica Ahlstedt McCleave

    Pocket, 2025

    3,0 utav 5 stjärnor. Totalt antal röster:(1)

    49 kr99 kr

    Kristan Higgins - Bokhandeln vid havet, Pocket
    • -51%

    Bokhandeln vid havet

    Kristan Higgins

    Pocket, 2025

    3,5 utav 5 stjärnor. Totalt antal röster:(11)

    49 kr99 kr

    Veronica Henry - Puben vid floden, Pocket
    • -51%

    Puben vid floden

    Veronica Henry

    Pocket, 2023

    4,2 utav 5 stjärnor. Totalt antal röster:(18)

    49 kr99 kr

    Anne Holt - Tolv otämjda hästar, Pocket
    • -51%

    Tolv otämjda hästar

    Anne Holt

    Pocket, 2025

    3,9 utav 5 stjärnor. Totalt antal röster:(29)

    49 kr99 kr

    Frida Gråsjö - Vatten över huvudet, Pocket
    • -45%
    Del 1

    Vatten över huvudet

    Frida Gråsjö

    Pocket, 2024

    3,4 utav 5 stjärnor. Totalt antal röster:(26)

    49 kr89 kr

    Michael Gonzalez Harbour, Luis Miguel Pinho - Reliable Software Technologies -- Ada-Europe 2006, E-bok

    Reliable Software Technologies -- Ada-Europe 2006

    Michael Gonzalez Harbour, Luis Miguel Pinho

    E-bok
    2006

    732 kr