On the effectiveness of slicing hierarchical state machines: A case study

Proceedings - 24th EUROMICRO Conference, EURMIC 1998

Volumn 1, Issue , 1998, Pages 435-444

  Heimdahl, M P E ^a   Thompson, J M ^a   Whalen, M W ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMPIRICAL DATA; HIERARCHICAL STATE MACHINES; PROGRAM SLICING; REDUCTION AND SIMPLIFICATION;

FORMAL SPECIFICATION;

EID: 85016675058     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1998.711837     Document Type: Conference Paper

References (16)

1. J. Chang and D. Richardson. Static and dynamic specification slicing. In Proceedings of the Fourth Imine Software Symposium, April 1994.
2. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:23 1-274, 1987.
3. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-4 14, April 1990.
4. D. Harel and A. Pnueli. On the development of reactive systems. In K. Apt, editor, Logics and Models of Concurrent Systems, pages 477-498. Springer-Verlag, 1985.
5. M. Heimdahl and M. Whalen. Reduction and slicing of hierarchical state machines. In Proceedings ofthe Fgth ACM S1GSOFT Symposium on the Foundations of Software Engineering, September 1997.
6. M. P. Heimdahl. Experiences and Lessons from the Analysis of TCAS 11. In Proceedings of the International Symposium on Software Testing and Analysis, January 1996.
7. M. P. Heimdahl and N. Leveson. Completeness and Consistency Analysis of State-Based Requirements. IEEE Trunsactions on Software Engineering, TSE-22(6):363-377, June 1996.
8. C. Heitmeyer, J. Kirby, and B. Labaw. The scr method for formally specifying, verifying, and validating requirements: Tool support. In International Confevence on Software Engineering 1997, pages 610-611, May 1997.
9. C. L. Heitmeyer, R. Jeffords, and B. L. Labaw. Consistency checking of SCR-style requirements specifications. ACM Transactions on Software Engineering and Methodology, vol-5(3):321-261, July 1996.
10. K. L. Heninger. Specifying software for complex systems: New techniques and their application. IEEE Transactions on Software Engineering, 6( 1):2-13, January 1980.
11. N. G. Leveson, M. P. Heimdahl, H. Hildreth, J. Reese, and R. Ortega. Experiences using Statecharts for a system requirements specification. In Proceedings of the Sixth Znternational Workshop on Sofhare Specification and Design, pages 3141, 1991.
12. N. G. Leveson, M. P. Heimdahl, H. Hildreth, and J. D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):694-707, September 1994.
13. T. Oda and K. Araki. Specification slicing in formal methods of software engineering. In Proceedings of the Seventeenth International Computer Software and Applications Conference, November 1993.
14. A. Sloane and J. Holdsworth. Beyond traditional program slicing. In Proceedings of the International Symposium on Software Testing and Analysis, pages 180-1 86, January 1996.
15. J. Spivy. The Z Notation: A Reference Manual. Prentice- Hall, 1992.
16. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.