Number of pages: 275 pages Thank you for reading efficient graph rewriting and its implementation. Maybe you have knowledge that, people have look numerous times for their favorite readings like this efficient graph rewriting and its implementation, but end up in infectious downloads. Rather than reading a good book with a cup of tea in the afternoon,… (More)
The application of formal techniques can contribute much to the quality of software, which is of utmost importance for safety-critical embedded systems. These techniques, however, are not easy to apply. In particular, methodolog-ical guidance is often unsatisfactory. We address this problem by the concept of an agenda. An agenda is a list of activities to… (More)
Tool integration is still lacking appropriate solutions. For an integration project at DaimlerChrysler a number of requirements have been identified which shall lead to a sustainable integration framework being open to further evolution. The requirements are based on a number of principles and cover several levels: user, system, architectural, and… (More)
reserved. No part of this series may be reproduced in any form or by any means without prior written permission of the publisher. Abstract. The upcoming safety standard ISO/WD 26262 that has been derived from the more general IEC 61508 and adapted for the automotive industry, introduces the concept of a safety case, a scheme that has already been… (More)
Model-based development uses modeling and simulation as essential means for specification, rapid prototyping, design, and realization of embedded systems. The classification-tree method complements model-based development with a formal approach for test case description and automation. This paper shows how " raw " classification trees are transformed into… (More)
Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effi-zienz der modellbasierten Entwicklung zu erhöhen, sind Richtlinien für die Mo-dellierung unerlässlich. Diese manuell zu überprüfen ist aufwändig und fehleran-fällig. Das Projekt MATE (MATLAB Simulink/Stateflow… (More)
1 Teile der vorgestellten Arbeiten wurden im Kontext des vom BMBF im Rahmen der Forschungsinitiative "Soft-ware Engineering 2006" geförderten Projekts "IMMOS-Integrierte Methodik für die modellbasierte Steuergerä-teentwicklung" (Förderkennzeichen F01ISC31D) durchgeführt.
This paper identifies a condition for which the existence of an isomorphic subgraph can be decided in linear time. The condition is evaluated in two steps. First the host graph is analysed to determine its strong V-structures. Then the guest graph must be appropriately represented. If this representation exists, the given algorithm constructively decides… (More)