ASET: a formal model for system emulation and verification

This paper describes a proposed formal model for system specification ASET (advanced system emulation technique) and discusses the mathematical model underlying the prototyping environment based on ASET. ASET has been developed specifically to aid rapid prototyping of software systems. It provides a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bhattacharyya, S., Bhattacharyya, J., Chaudhuri, A.R.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Design for disassembly Emulation Error correction Mathematical model Modeling Predictive models Prototypes Software prototyping Software systems System testing
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!