Cargando…
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006. The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought toge...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Edición: | 1st ed. 2008. |
| Colección: | Programming and Software Engineering,
4922 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-70930-5 | ||
| 003 | DE-He213 | ||
| 005 | 20220311220317.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2008 gw | s |||| 0|eng d | ||
| 020 | |a 9783540709305 |9 978-3-540-70930-5 | ||
| 024 | 7 | |a 10.1007/978-3-540-70930-5 |2 doi | |
| 050 | 4 | |a TK5105.5-5105.9 | |
| 072 | 7 | |a UKN |2 bicssc | |
| 072 | 7 | |a COM075000 |2 bisacsh | |
| 072 | 7 | |a UKN |2 thema | |
| 082 | 0 | 4 | |a 004.6 |2 23 |
| 245 | 1 | 0 | |a Model-Driven Development of Reliable Automotive Services |h [electronic resource] : |b Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / |c edited by Manfred Broy, Ingolf Krüger, Michael Meisinger. |
| 250 | |a 1st ed. 2008. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2008. | |
| 300 | |a XVIII, 183 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Programming and Software Engineering, |x 2945-9168 ; |v 4922 | |
| 505 | 0 | |a Modeling Techniques and Infrastructures -- The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software -- Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control -- A Software and System Modeling Facility for Vehicle Environment Interactions -- Model Transformations -- Generating Sound and Resource-Aware Code from Hybrid Systems Models -- Towards Verification of Model Transformations Via Goal-Directed Certification -- Quality Assurance -- An Instrumentation-Based Approach to Controller Model Validation -- TestML - A Test Exchange Language for Model-Based Testing of Embedded Software -- Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems -- Real-Time Control -- Modeling with the Timing Definition Language (TDL) -- Towards Model-Driven Development of Hard Real-Time Systems -- Services and Components -- Reusable Services and Semi-automatic Service Composition for Automotive Software. | |
| 520 | |a This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006. The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components. | ||
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Computers, Special purpose. | |
| 650 | 0 | |a Computer science. | |
| 650 | 1 | 4 | |a Computer Communication Networks. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Programming Techniques. |
| 650 | 2 | 4 | |a Special Purpose and Application-Based Systems. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 700 | 1 | |a Broy, Manfred. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Krüger, Ingolf. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Meisinger, Michael. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783540867234 |
| 776 | 0 | 8 | |i Printed edition: |z 9783540709299 |
| 830 | 0 | |a Programming and Software Engineering, |x 2945-9168 ; |v 4922 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-540-70930-5 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||