An overview of HATS: a language independent high assurance transformation system

Transformations that are based on syntax directed rewriting systems can have a significant impact on the construction of high assurance systems. However, in order for a transformational approach to be useful to a particular problem domain, a (general) transformation system must be adapted to the not...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Winter, V.L.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Decision support systems
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!