DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications

We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for di...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Dell’Amico, Matteo, Cerioli, Maura
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Concrete Syntax Exact sciences and technology Frame Problem Label Transition System Observational Approach Software Software engineering Temporal Logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!