MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Graphical animation of behavior models." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Graphical Animation of Behavior Models
by Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer — 2000 — In Proc. of 22nd International Conference on Software Engineering
…Graphical Animation of Behavior Models Jeff Magee, Nat Pryce, Dimitra Giannakopoulou and Jeff…
Cited by 23 (8 self) – Add To MetaCart

Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
by Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander — 2000 — In Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10
… investigation into applying work on graphic animation of behavioral models to an air traffic control case study…
Cited by 2 (0 self) – Add To MetaCart

Rigorous Analysis and Design for Software Intensive Systems
by S. Jähnichen, M. Lemoine, T. Maibaum, M. Wirsing — 1999
… Graphical Animation of Behavior Models Jeff Magee 19 Analysing scheduling with a model checker Thorsten…
Add To MetaCart

Component Verification with Automatically Generated Assumptions
by Dimitra Giannakopoulou, Corina S. Păsăreanu, Howard Barringer — 2005 — Automated Software Engineering
… display of LTSs, interactive simulation and graphical animation of behavior models (Magee et al., 2000…
Cited by 7 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB