![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
ASWSD 2006: San Diego, CA, USA
- Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4922, Springer 2008, ISBN 978-3-540-70929-9
Modeling Techniques and Infrastructures
- K. Venkatesh Prasad, Thomas J. Giuli, David Watson:
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software. 1-14 - Sandeep Neema
, Sushil Birla, Shige Wang, Tripti Saxena:
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. 15-33 - Edward Nelson, Henry Huang:
A Software and System Modeling Facility for Vehicle Environment Interactions. 34-47
Model Transformations
- Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Generating Sound and Resource-Aware Code from Hybrid Systems Models. 48-66 - Gabor Karsai
, Anantha Narayanan:
Towards Verification of Model Transformations Via Goal-Directed Certification. 67-83
Quality Assurance
- Rance Cleaveland, Scott A. Smolka, Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation. 84-97 - Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller:
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. 98-117 - Venkita Subramonian, Christopher D. Gill:
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. 118-132
Real-Time Control
- Wolfgang Pree, Josef Templ:
Modeling with the Timing Definition Language (TDL). 133-144 - Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm:
Towards Model-Driven Development of Hard Real-Time Systems. 145-160
Services and Components
- Holger Giese:
Reusable Services and Semi-automatic Service Composition for Automotive Software. 161-181
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.