Search Sciweavers | Sciweavers

57

click to vote

MBEES
2007

81views Embedded Systems» more MBEES 2007»

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme

14 years 11 months ago

Download s-lab.upb.de

Matthias Gehrke, Martin Hirsch, Wilhelm Schäf...

claim paper

Read More »

117

Voted

MBEES
2007

157views Embedded Systems» more MBEES 2007»

Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems

14 years 11 months ago

Download www4.in.tum.de

: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...

Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...

claim paper

Read More »

71

click to vote

MBEES
2007

102views Embedded Systems» more MBEES 2007»

Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen

14 years 11 months ago

Download www2.informatik.hu-berlin.de

Abstract: In diesem Kurzbeitrag zeigen wir, wie textuelle Anwendungsfallbeschreibungen werkzeuggest¨utzt in UML-Aktivit¨atsdiagramme ¨uberf¨uhrt werden k¨onnen. Mit Hilfe eine...

Mario Friske, Bernd-Holger Schlingloff

claim paper

Read More »

71

click to vote

MBEES
2007

127views Embedded Systems» more MBEES 2007»

Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen

14 years 11 months ago

Download www.ichmaschine.de

: Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effizienz der modellbasierten Entw...

Ingo Stürmer, Heiko Dörr, Holger Giese, ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers