Towards information system modeling on the basis of ASM semantics

Abstract state machine, concurrency, database behavior modeling, deontic logic, dialog step, dynamic logics, executable models, information system, integrity constraint enforcement, interaction machine, interaction modeling, Internet services, model-checking, parallelism, persistent turing machine,...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Binemann-Zdanowicz, Aleksander (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cottbus Brandenburg Univ. of Technology, Fac. of Mathematics, Natural Sciences and Computer Science, Inst. of Computer Science 2001
Schriftenreihe:	Computer science reports 2001,12
Schlagworte:	Forschungsbericht > Informationssystem > Spezifikationstechnik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!