An approach to defining requirements for exceptions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4119 LNCS, Issue , 2006, Pages 243-254

  Bail, William ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABNORMAL SITUATIONS; EXCEPTION HANDLING; NEW APPROACHES; NORMAL BEHAVIOR; REQUIREMENTS SPECIFICATIONS; REQUIREMENTS STATEMENTS; SOFTWARE SYSTEMS; STATE MACHINES; USAGE MODELS;

COMPUTER SOFTWARE;

EID: 49949112610     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11818502_13     Document Type: Conference Paper

References (18)

1. Fernandez, E. B., and R. B. France. "Formal Specification of real-time dependable systems". Proceedings of the First IEEE International Conference on the Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP. pp. 342 - 348
2. Levenson, Nancy G., Mats Per Erik Heimdahl, Holly Hildreth, and Jon Damon Reese. "Requirements Specification for Process-Control Systems". IEEE Transactions on Software Engineering, vol 20, No. 9, September 1994.
3. Bail, William G. "Requirements Management for Dependable Software Systems". In: Zelkowitz, Marvin (ed): Advances In Computers, 66. Academic Press: (2006).
4. Feather, M.S.; S. Fickas, A. van Lamsweerde, C. Ponsard. "Reconciling system requirements and runtime behavior." Proceedings of the Ninth International Workshop on Software Specification and Design, 1998. pp. 50 - 59
5. van Lamsweerde, Axel.; Darimont, R.; Letier, E. "Managing conflicts in goal-driven requirements engineering". IEEE Transactions on Software Engineering, vol 24, issue 11, Nov. 1998. pp. 908 - 926
6. Del Gobbo, Diego, and Ali Mali. "Re-engineering Fault Tolerance requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems". Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, 2001. pp. 236 - 245
7. Del Gobbo, Diego, Bojan Cukic, Marcello R. Napolitano, and S. Easterbrook. "Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems". Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering, (1999). pp. 231 - 238.
8. Del Gobbo, Diego, and M. R. Napolitano. "Issues in Fault Detectability for Dynamic Systems".Proc of the 2000 American Control Conference, Jun2000. Vol 5, pp.3203 - 3207
9. Alexander, Ian. "Misuse Cases Help To Elicit Non-Functional Requirements". Computing and Control Engineering. (Feb 2005).
10. Drusinsky, Doron and Klaus Havelund "Execution-Based Model Checking of Interrupt-Based Systems". In Workshop on Model Checking for Dependable Software Intensive Systems, pp. 22-25, (2003)
11. Drusinsky, Doron. "Formal Specs Can Handle Exceptions". Embedded Developers Journal. Nov 2001.
12. Trammell, Carmen. "Quantifying the reliability of software: statistical testing based on a usage model". Proceedings., Second IEEE International Software Engineering Standards Symposium, 1995. (ISESS'95) 'Experience and Practice. pp. 208 - 218
13. Simmons, Erik. "The usage model: a structure for richly describing product usage during design and development". Proceedings of the 13th IEEE International Conference on Requirements Engineering, 2005. pp. 403 - 407
14. Regnell, Björn.; Kristofer Kimbler, and Anders Wesslen. "Improving the use case driven approach to requirements engineering". Proceedings of the Second IEEE International Symposium on Requirements Engineering, 1995. pp.40 - 47
15. Börger, Egon, Elvinia Riccobene, and Joachim Schmid. "Capturing Requirements by Abstract State Machines: The Light Control Case Study". Journal of Universal Computer Science, vol 6, issue 7, (2000).
16. Prowell, S.J. "Using Markov Chain Usage Models to Test Complex Systems". Proceedings of the 38th Annual Hawaii Int'l Confon System Sciences, 2005. HICSS '05. pp. 3.1.8c - 3.1.8c
17. Whittaker, James. A.,and Jesse. H. Poore. "Markov Analysis of Software Specifications" ACM transactions on Software Engineering and Methodology. Jan 1993.
18. Jiong Yan; Ji Wang; Huo-wang Chen. "Automatic generation of Markov chain usage models from real-time software UML models". Proceedings of the Fourth International Conference on Quality Software, 2004. pp. 22 - 31