Visualizing and simulating the behavior of formal models in an adequate and flexible way becomes increasingly important in the design of complex systems. With GenGED, a tool is available which automatically generates a visual environment to process (create, edit, check, simulate) visual models in a
Behavioral Constraints for Visual Models
✍ Scribed by Reiko Heckel; Jochen M. Küster
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 281 KB
- Volume
- 50
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Naive human subjects were tested in three different tasks: (1) a visuomotor mental rotation task, in which the subjects were instructed to move a cursor at a given angle from a stimulus direction; (2) a visual mental rotation task, in which the subjects had to decide whether a displayed letter was n
We examine IÂO-efficient data structures that provide indexing support for new data models. The database languages of these models include concepts from constraint programming (e.g., relational tuples are generated to conjunctions of constraints) and from object-oriented programming (e.g., objects a
The analytical and laboratory requirements for the extraction of a mildly nonlinear behavioral model are derived. This shows that they greatly exceed current capabilities in general, and a simplified procedure based on dynamic linear element deembedding is proposed. This procedure is then illustrate