Reusable Services and Semi-automatic Service Composition for Automotive Software (Englisch)
- Neue Suche nach: Giese, Holger
- Neue Suche nach: Broy, Manfred
- Neue Suche nach: Krüger, Ingolf H.
- Neue Suche nach: Meisinger, Michael
- Neue Suche nach: Giese, Holger
In:
Model-Driven Development of Reliable Automotive Services
: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
;
Kapitel: 11
;
161-181
;
2008
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Reusable Services and Semi-automatic Service Composition for Automotive Software
-
Beteiligte:Broy, Manfred ( Herausgeber:in ) / Krüger, Ingolf H. ( Herausgeber:in ) / Meisinger, Michael ( Herausgeber:in ) / Giese, Holger ( Autor:in )
-
Kongress:Automotive Software Workshop ; 2006 ; San Diego, CA, USA
-
Erschienen in:Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers ; Kapitel: 11 ; 161-181Lecture Notes in Computer Science ; 4922 ; 161-181
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2008
-
Format / Umfang:21 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive SoftwarePrasad, K. Venkatesh / Giuli, Thomas J. / Watson, David et al. | 2008
- 15
-
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion ControlNeema, Sandeep / Birla, Sushil / Wang, Shige / Saxena, Tripti et al. | 2008
- 34
-
A Software and System Modeling Facility for Vehicle Environment InteractionsNelson, Edward / Huang, Henry et al. | 2008
- 48
-
Generating Sound and Resource-Aware Code from Hybrid Systems ModelsAnand, Madhukar / Fischmeister, Sebastian / Kim, Jesung / Lee, Insup et al. | 2008
- 5
-
Towards Verification of Model Transformations Via Goal-Directed CertificationKarsai, Gabor / Narayanan, Anantha et al. | 2008
- 6
-
An Instrumentation-Based Approach to Controller Model ValidationCleaveland, Rance / Smolka, Scott A. / Sims, Steven T. et al. | 2008
- 98
-
TestML - A Test Exchange Language for Model-Based Testing of Embedded SoftwareGrossmann, Juergen / Fey, Ines / Krupp, Alexander / Conrad, Mirko / Wewetzer, Christian / Mueller, Wolfgang et al. | 2008
- 8
-
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive SystemsSubramonian, Venkita / Gill, Christopher et al. | 2008
- 9
-
Modeling with the Timing Definition Language (TDL)Pree, Wolfgang / Templ, Josef et al. | 2008
- 10
-
Towards Model-Driven Development of Hard Real-Time SystemsFerdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg / Renz, Christian / Parshin, Oleg / Wilhelm, Reinhard et al. | 2008
- 11
-
Reusable Services and Semi-automatic Service Composition for Automotive SoftwareGiese, Holger et al. | 2008