Validating personal requirements by assisted symbolic behavior browsing

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 56-66

  Hall, Robert J ^a   Zisman, Andrea ^b  

^a AT AND T LABS RESEARCH   (United States)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASSISTED SYMBOLIC BEHAVIOR BROWSING (ASBB); LARGE SCALE DISTRIBUTED TELECOMMUNICATIONS; OPEN MODEL PARADIGM; SPIN MODELS;

COMPUTER SIMULATION; COMPUTER SYSTEMS; DATA PRIVACY; ELECTRONIC COMMERCE; MATHEMATICAL MODELS; SECURITY SYSTEMS; TELECOMMUNICATION SYSTEMS;

WEB BROWSERS;

EID: 15844376731     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342724     Document Type: Conference Paper

References (17)

1. G. Bruns and P. Godefroid. Generalized model checking: Reasoning about partial state spaces. In Proc. Intl. Conf. on Concurrency Theory - LNCS 877, pages 168-182. Springer Verlag, 2000.
2. 20 states and beyond. Information and Computation, 98:142-170, 1992.
3. Design/cpn - a computer tool for colored petri nets. www.daimi.au.dk/ designCPN/.
4. A. Gargantini and E. Riccobene. Automatic model driven animation of scr specifications. In Proc. Fundamental Approaches to Software Engineering (FASE'03), 2003.
5. R. Hall and A. Zisman. Overview of openmodel-based validation with partial information. In Proc. 18th Conf. on Automated Software Eng, 2003.
6. R. Hall and A. Zisman. Omml: A behavioural model interchange format. In Proc. 2004 Intl. Conf. on Requirements Engineering, 2004.
7. R. J. Hall. Feature interactions in electronic mail. In Feature interactions in telecommunications and software systems VI. IOS Press, 2000.
8. R. J. Hall. Open modeling in multi-stakeholder distributed systems: Model-based requirements engineering for the 21st century. In Proc. 2002 ISR Workshop on State of the Art in Automated Software Engineering. UC Irvine ISR, 2002.
9. R. J. Hall. Specification, validation, and synthesis of email agent controllers: a case study in function rich reactive system design. Automated Software Engineering, 9:233-261, 2002.
10. D. Harel. Statecharts: a visual approach to complex systems. Science of Computer Programming, 8(3):231-274, 1987.
11. C. Heitmeyer, J. Kirby, B. Labaw, and R. Bharadwaj. Scr*: A toolset for specifying and analyzing software requirements. In Proc. 10th Computer-Aided Verification Conf, 1998.
12. G. Holzmann. Design and validation of computer protocols. Prentice Hall, 1991.
13. Statemate website. www.ilogix.com.
14. H. Li, S. Krishnamurthi, and K. Fisler. Modular verification of open features through three-valued model checking, Automated Software Engineering, (to appear).
15. J. Magee, N. Pryce, D. Gyannakopoulou, and J. Kramer. Graphical animation of behavior models. In Proc. 22nd Intl. Conf. on Software Eng., 2000.
16. Openmodel home page, www.research.att.com/~hall/openmodel-project.html.
17. W. Robinson. Monitoring web services requirements. In Proc. Eleventh IEEE Intl. Requirements Engineering Conf, pages 65-74. IEEE Computer Society, 2003.