Hochschulschrift
Modulares Constraint-Checking : domänenunabhängiges Feedback bei der Modellierung mit visuellen Sprachen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783830056539
- Dimensions
-
21 cm, 467 g
- Extent
-
XIV, 346 S., S. XV - XXVII
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Duisburg, Essen, Univ., Diss., 2009
- Bibliographic citation
-
Schriftenreihe Computergestütztes Lernen ; Bd. 10
- Keyword
-
Intelligentes Tutorsystem
Rückmeldung
Constraintnetz
Constraint-Programmierung
Autorensystem
Graphische Programmierung
Mensch-Maschine-Kommunikation
Graphische Benutzeroberfläche
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Kovač
- (when)
-
2011
- Creator
-
Herrmann, Kai
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:03 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Herrmann, Kai
- Kovač
Time of origin
- 2011
Other Objects (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
Modular personalized climatization testing infrastructure with smartphone-based user feedback
Monotonicity checking
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
Modular personalized climatization testing infrastructure with smartphone-based user feedback
Monotonicity checking
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
Modular personalized climatization testing infrastructure with smartphone-based user feedback
Monotonicity checking
Liveness checking as safety checking for infinite state spaces