A method and tools for large scale scenarios

Automated Software Engineering

Volumn 15, Issue 2, 2008, Pages 113-148

  Hall, Robert J ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

Automated software engineering; Large scale; Requirements engineering; Scenario; Tools

Indexed keywords

ELECTRONIC MAIL; ERROR ANALYSIS; LARGE SCALE SYSTEMS; PROBLEM SOLVING;

PERFORMANCE MODELING; TARGET SYSTEMS; TEST GENERATION;

REQUIREMENTS ENGINEERING;

EID: 44649126023     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-008-0026-8     Document Type: Article

References (17)

1. Hall, R.J.: Feature interactions in electronic mail. In: Feature Interactions in Telecommunications and Software Systems VI. IOS Press (2000)
2. Hall, R.J.: Specification, validation, and synthesis of email agent controllers: a case study in function rich reactive system design. Autom. Softw. Eng. 9 (2002)
3. Hall, R.J.: Combinatorial communications modeling of real-time tactical engagement adjudication architectures. In: Proc. 2005 IEEE Military Communications Conf. (2005a)
4. Hall, R.J.: Fundamental nonmodularity in electronic mail. Autom. Softw. Eng. 12(1) (2005b)
5. Hall, R.J., Zisman, A.: Validating personal requirements by assisted symbolic behavior browsing. In: Proc. of the 19th IEEE Conf. on Automated Software Engineering (2004)
6. Harel, D., Marelly, R.: Come, Let's Play. Springer, Berlin (2003)
7. Heitmeyer, C., Kirby, J., Labaw, B., Bharadwaj, R.: Scr*: A toolset for specifying and analyzing software requirements. In: 10th Computer-Aided Verification Conf. (1998)
8. Holzmann, G.: Design and Validation of Computer Protocols. Prentice Hall, New York (1991)
9. Imielinski, T., Navas, J.: Geographic addressing, routing, and resource discovery with the global positioning system. Commun. ACM (1997)
10. ITU-T: Message sequence charts standard. www.itu.int/ITU-T/
11. Mauw, S., Reniers, M.A.: High-level message sequence charts. In: Proceedings of the Eighth SDL Forum (SDL'97), pp. 291-306 (1997)
12. Murthy, C.S.R., Manoj, B.S.: Ad Hoc Wireless Networks: Architectures and Protocols. Prentice Hall, New York (2004)
13. Musa, J.: Operational profiles in software-reliability engineering. IEEE Softw. 10(2), 14-32 (1993)
14. Reiter, M., Parson, J., Apticar, T.: The headquarters convoy model. In: Armor, pp. 26-33, January-February (2005)
15. Richardson, D., Aha, S., O'Malley, T.: Specification-based test oracles for reactive systems. In: Proceedings of the 14th International Conference on Software Engineering (1992)
16. Uchitel, S., Kramer, J., Magee, J.: Negative scenarios for implied scenario elicitation. In: Proceedings of the 10th Intl. Conf. on Foundations of Software Engineering (2002)
17. Uchitel, S., Kramer, J., Magee, J.: Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Meth. 13(1), 37-85 (2004)