#### Filter Results:

- Full text PDF available (1)

#### Publication Year

2001

2011

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Sebastian Thiel, Frank Derichsweiler
- 2011 IEEE 35th Annual Computer Software and…
- 2011

The amount of electronic car functions increased rapidly in the last decade. Audi uses Hardware-in- the-Loop systems in combination with the model based test automation system EXAM for safeguarding of the electronic functions. The complexity of the test cases is comparable to real software programs. Therefore, a quality assurance for the test cases is… (More)

- Wolfram Kahl, Frank Derichsweiler
- J. UCS
- 2001

We show how the declarative spirit of attribute grammars can be employed to define an attribution mechanism for term graphs, where the non-uniqueness of inherited attributes demands an appropriately generalised treatment. Since term graphs are a useful data structure for symbolic computation systems such as theorem provers or program transformation systems,… (More)

- ‹
- 1
- ›