Login
- Originaltitel:
- Automated Assertion Transformation Across Multiple Abstraction Levels
- Übersetzter Titel:
- Automatisierte Transformation von Assertions über mehrere Abstraktionsebenen
- Autor:
- Steininger, Thomas
- Jahr:
- 2009
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- Fakultät für Elektrotechnik und Informationstechnik
- Betreuer:
- Ecker, Wolfgang (Prof. Dr.)
- Gutachter:
- Schlichtmann, Ulf (Prof. Dr.)
- Sprache:
- en
- Fachgebiet:
- ELT Elektrotechnik
- Stichworte:
- TLM Assertion Refinement Transformation
- Übersetzte Stichworte:
- TLM Assertion Refinement Transformation
- Kurzfassung:
- In this work, a methodology for automated assertion transformation, an extended assertion evaluation semantics, and a corresponding transformation language has been developed. Using this methodology it is possible to transform existing assertions to other levels of abstraction. This allows reusing existing assertions, which were written for abstract models, for the development of less abstract ones while minimizing the danger of manually introducing errors during the transformation process.
- Übersetzte Kurzfassung:
- Im Rahmen dieser Arbeit wurde eine Methodik zur automatisierten Transformation von Assertions, eine erweiterte Auswertungssemantik und eine dazugehörige Transformationssprache entwickelt. Unter Benutzung dieser Methodik ist es möglich, bestehende Assertions auf andere Abstraktionsebenen zu transformieren. Dies erlaubt die Wiederverwertung bestehender Assertions, die für abstrakte Modelle geschrieben wurden, für die Entwicklung von weniger abstrakten Modellen, wobei die Gefahr, manuell Fehler wäh... »
- WWW:
- https://mediatum.ub.tum.de/?id=676680
- Eingereicht am:
- 29.10.2008
- Mündliche Prüfung:
- 12.11.2009
- Seiten:
- 219
- Urn (Zitierfähige URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20081021-676680-1-2
- Letzte Änderung:
- 02.12.2009
BibTeX