SULJE VALIKKO

avaa valikko

Manfred Broy | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 59 tuotetta
Haluatko tarkentaa hakukriteerejä?



Model-Driven Development of Reliable Automotive Services - Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA,
Manfred Broy; Ingolf Krüger; Michael Meisinger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Informatik. Eine grundlegende Einführung 1
Manfred Broy
Springer-Verlag GmbH (2009)
Pehmeäkantinen kirja
68,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement
Manfred Broy; Ketil Stølen
Springer-Verlag New York Inc. (2001)
Kovakantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Informatik - Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik
Manfred Broy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Pehmeäkantinen kirja
31,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Übungen zur Einführung in die Informatik : Strukturierte Aufgabensammlung mit Musterlösungen
Manfred Broy; Bernhard Rumpe
Springer (2001)
Moniviestin
46,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Model-Based Testing of Reactive Systems - Advanced Lectures
Manfred Broy; Bengt Jonsson; Joost-Pieter Katoen; Martin Leucker; Alexander Pretschner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Engineering Theories of Software Intensive Systems - Proceedings of the NATO Advanced Study Institute on Engineering Theories of
Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare
Springer-Verlag New York Inc. (2005)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Engineering Theories of Software Intensive Systems - Proceedings of the NATO Advanced Study Institute on Engineering Theories of
Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare
Springer-Verlag New York Inc. (2005)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automotive Software-Connected Services in Mobile Networks - First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA,
Manfred Broy; Ingolf Krüger; Michael Meisinger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Program Design Calculi
Manfred Broy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Deductive Program Design
Manfred Broy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Perspectives of Systems Informatics - 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk,
Manfred Broy; Alexandre V. Zamulin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report
Manfred Broy; Stefan Jähnichen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Methods of Programming - Selected Papers on the CIP-Project
Manfred Broy; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Systems Specification - The RPC-Memory Specification Case Study
Manfred Broy; Stephan Merz; Katharina Spies
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modellbildung in der Informatik
Manfred Broy; Ralf Steinbrüggen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Kovakantinen kirja
37,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Informatik Eine grundlegende Einführung - Band 1: Programmierung und Rechnerstrukturen
Manfred Broy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1997)
Pehmeäkantinen kirja
35,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Program Design Calculi
Manfred Broy (ed.)
Springer (2010)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Projektorganisation und Management im Software Engineering
Manfred Broy; Marco Kuhrmann
Springer Fachmedien Wiesbaden (2013)
Kovakantinen kirja
60,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Control Flow and Data Flow: Concepts of Distributed Programming - International Summer School
Manfred Broy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1986)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Model-Driven Development of Reliable Automotive Services - Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA,
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 183 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008
Julkaisuvuosi: 2008, 14.07.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra?c; this is correlated with the introduction of advanced, software-enabled functionality for driver assistance, such as electronic stability control. Software contributes signi?cantly to the - tomotive value chain. By 2010 it is estimated that software will make up 40% of the value creation of automotive electrics/electronics. However, with the large number of software-enabled functions, their int- actions, and the corresponding networking and operating infrastructure, come signi?cant complexities both during the automotive systems engineering p- cess and at runtime. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks. As an example, consider the central locking systems (CLS), whose functionality is spread out over up to 19 di?erent ECUs in some luxury cars. Of course, this includes advanced functi- ality, such as seat positioning and radio tuning according to driver presets upon entry, as well as unlocking in case of a detected impact or accident. However, thisexampledemonstratesthatmodernautomotivesystemsbridgecomfort-and safety-critical functionality. This induces particular demands on safety and - curity, and, in general, software and systems quality. The resulting challenges and opportunities were discussed, in depth, at the second Automotive Software Workshop San Diego (ASWSD)2006, on whose results we report here.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Model-Driven Development of Reliable Automotive Services - Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, zoom
Näytä kaikki tuotetiedot
ISBN:
9783540709299
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste