J. Magee, J. Kramer, B. Nuseibeh, D. Bush, and J. Sonander. Hybrid model visualization in requirements and design: A preliminary investigation. In Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10), Nov. 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic Model Driven Animation of SCR Specifications - Gargantini, Riccobene (2003) (Correct)
....and the results are presented in the graphically simulated cockpit. A graphical simulator developed for the ASM specification of a light control system is presented in [3] It is based on AsmGofer and uses TCL TK for the animator panel. A complex and complete graphical animator is presented in [19,18]. The authors develop an animator engine called Scenebeans based on Timed Automata semantics. They introduce behavior beans for actions and behaviors (for modeling system operations) as well as graphical components called SceneGraphs that represent the system state. A script language based on ....
....as well as graphical components called SceneGraphs that represent the system state. A script language based on XML is introduced and used to build animations. Scenebeans is a flexible general purpose framework for animations. However, the problem of animation sequence generation in not tackled. In [18], Scenebeans is applied to an air traffic control case study (Short Term Conflict Alert) and historical data are used as animation sequences. 21,10] present the use of the tool Possum to animate Z specifications. Graphical interfaces using TCL TK can be easily implemented depending on the ....
J. Magee, J. Kramer, B. Nuseibeh, D. Bush, and J. Sonander. Hybrid model visualization in requirements and design: A preliminary investigation. In Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10), Nov. 2000.
ViBBA: A Toolbox for Automatic Model Driven - Animation Angelo Gargantini (Correct)
No context found.
J. Magee, J. Kramer, B. Nuseibeh, D. Bush, and J. Sonander. Hybrid model visualization in requirements and design: A preliminary investigation. In Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10), Nov. 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC