Hochschulschrift
Modulares Constraint-Checking : domänenunabhängiges Feedback bei der Modellierung mit visuellen Sprachen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783830056539
- Maße
-
21 cm, 467 g
- Umfang
-
XIV, 346 S., S. XV - XXVII
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Duisburg, Essen, Univ., Diss., 2009
- Erschienen in
-
Schriftenreihe Computergestütztes Lernen ; Bd. 10
- Schlagwort
-
Intelligentes Tutorsystem
Rückmeldung
Constraintnetz
Constraint-Programmierung
Autorensystem
Graphische Programmierung
Mensch-Maschine-Kommunikation
Graphische Benutzeroberfläche
- Ereignis
-
Veröffentlichung
- (wo)
-
Hamburg
- (wer)
-
Kovač
- (wann)
-
2011
- Urheber
-
Herrmann, Kai
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:12 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Herrmann, Kai
- Kovač
Entstanden
- 2011
Ähnliche Objekte (12)
RDF constraint checking
Constraint Satisfaction Search and Forward Checking. Heuristic Repair
Linking Sketching and Constraint Checking for Early Conceptual Design
Abstraction for model checking modular interpreted systems over ATL
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking
Liveness checking as safety checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Modular personalized climatization testing infrastructure with smartphone-based user feedback
Liveness checking as safety checking for infinite state spaces
Type-checking AHEAD
RDF constraint checking
Constraint Satisfaction Search and Forward Checking. Heuristic Repair
Linking Sketching and Constraint Checking for Early Conceptual Design
Abstraction for model checking modular interpreted systems over ATL
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking
Liveness checking as safety checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Modular personalized climatization testing infrastructure with smartphone-based user feedback
Liveness checking as safety checking for infinite state spaces
Type-checking AHEAD
RDF constraint checking
Constraint Satisfaction Search and Forward Checking. Heuristic Repair
Linking Sketching and Constraint Checking for Early Conceptual Design
Abstraction for model checking modular interpreted systems over ATL
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking
Liveness checking as safety checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Modular personalized climatization testing infrastructure with smartphone-based user feedback
Liveness checking as safety checking for infinite state spaces