D. Hazel, P. Strooper, and O. Traynor. Requirements engineering and verification using specification animation. In Thirteenth International Conference on Automated Software Engineering, pages 302--305. IEEE Computer Society Press, 1998. 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)
....driven animation as a novel approach to validate requirements specifications. This approach, here applied to SCR (Software Cost Reduction) specifications [13] is useful at the very early stages of systems development, and it is based on graphical animation (hereinafter briefly called animation) [10,16,19]. Animation basically consists of simulation, providing the user with a graphical interface suitable to show the state of the system by means of icons, buttons, panels, slides, and so on. An animator might be a prototype ad hoc developed or a simulator endowed with a complex graphical interface. A ....
....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 specification to animate. 21] presents a systematic approach to plan, document, and maintain animation scenarios starting from Z formal specifications. The ....
D. Hazel, P. Strooper, and O. Traynor. Requirements engineering and verification using specification animation. In Thirteenth International Conference on Automated Software Engineering, pages 302--305. IEEE Computer Society Press, 1998.
Combining the Animation and Testing of Abstract Data Types - Miller, Strooper (2001) (4 citations) (Correct)
....proof, and then progressively refine it into an implementation, which is tested. The Cogito development methodology [3, 23] is one such method. It has tool support for each stage of the formal development process, except the role of testing in Cogito is not discussed. An animator called Possum [11, 12] is used in Cogito to test the specification before refinement begins. The B Method is another formal development methodology. B uses an animator to test specifications before development. Waeselynck and Behnia [33] argue that in B, animation should be performed not only at the specification ....
....section, we present the Possum animation tool, which we use to animate Sum specifications, and PGMGEN, which we use to generate test drivers for C modules. The method presented in Section 4 uses Possum and PGMGEN to combine specification animation and implementation testing. 3. 1 Possum Possum [11, 12] is an animation tool for Z and Z like specification languages, including Sum [21] Possum interprets queries made in Sum and responds with simplifications of those queries. For example, the query: fx, y : 0 . 60 x 13 = y 11g is simplified by Possum to: f(0,0) 11,13) 22,26) 33,39) ....
[Article contains additional citation context not shown here]
D. Hazel, P. Strooper, and O. Traynor. Requirements engineering and verification using specification animation. In Proc. 13th IEEE Int. Conference on Automated Software Engineering,
Hybrid Model Visualization in Requirements and.. - Magee, Kramer.. (2000) (2 citations) (Correct)
....panel specified in SCR. The form of animation is similar in scope to that provide by StateMate[11] StateMate supports animation through a set of predefined widgets that display buttons, lights, dials and graphs. Work on graphical animation of Z specifications using plug ins is referred to in [12]. A graphical animation of the specification of an air traffic control system is referred to but not documented. The visualization approach we use is perhaps closest to work in the field of program visualization, although the objective of that work is to visualize program execution while ours is ....
Daniel Hazel, Paul Strooper, Owen Traynor, "Requirements Engineering and Verification using Specification Animation," http://svrc.it.uq.edu.au/pages/Animation.html, 2000.
Verifying Model Oriented Specifications through Animation - Kazmierczak, Winikoff, Dart (5 citations) (Correct)
....here is taken to mean both the verification and validation of the model as well as the exercising of the model by executing various scenarios or test cases which increase the developer s and the client s understanding of the system and the problem domain. 17] or showing examples of animation [3, 4]. Little, if any, attention has been given to the way in which animation can be used to explore a specification for verification or validation purposes. None of these papers directly discuss the exploration of models expressed in the Z notation, which is our major aim. Previous papers discussing ....
Daniel Hazel, Paul Strooper, and Owen Traynor. Requirements engineering and verification using specification animation. Manuscript, May 1998.
ViBBA: A Toolbox for Automatic Model Driven - Animation Angelo Gargantini (Correct)
No context found.
D. Hazel, P. Strooper, and O. Traynor. Requirements engineering and verification using specification animation. In Thirteenth International Conference on Automated Software Engineering, pages 302--305. IEEE Computer Society Press, 1998.
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