Analysis of software system requirements models

Proceedings - 1996 Australian Software Engineering Conference, ASWEC 1996

Volumn , Issue , 1996, Pages 131-138

  Haywood, Elizabeth ^a,b   Dart, Philip ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b VICTORIA UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING;

REQUIREMENTS MODELS; SOFTWARE SYSTEMS; TOOL SUPPORT;

REQUIREMENTS ENGINEERING;

EID: 0345232426     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.1996.534130     Document Type: Conference Paper

References (26)

1. A. Blyth, J. Chudge, J. Dobson, and M. Strens. ORDIT: A New Methodology to Assist in the Process of Eliciting and Modelling Organisational Requirements. In Proceedings of the Conference on Organisational Computing Systems, Nov. 1993.
2. D. Bolton, S. Jones, D. Till, D. Furber, and S. Green. Using Domain Knowledge in Requirements Capture and Formal Specification Construction. In M. Jirotka and J. A. Goguen, editors, Requirements Engineering Social and Technical Issues, pages 141-162. Academic Press, 1994.
3. M. G. Christel and K. C. Kang. Issues in Requirements Elicitation. Technical Report CMU/SEI-92-TR-12, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213, 1992.
4. A. Dardenne, S. Fickas, and A. v. Lamsweerde. Goal-directed Concept Acquisition in Requirements Elicitation. In Proceedings of the 6th International Workshop on Software Specification and Design. IEEE Computer Society Press, 1991.
5. A. Dardenne, A. v. Lamsweerde, and S. Fickas. Goal-directed Requirements Acquisition. Science of Computer Programming, 20:3-50, 1993.
6. A. M. Davis. A Comparison of Techniques for the Specification of External System Behavior. Communications ofthe ACM, 31(9):1098-1115, Sept. 1988.
7. A. M. Davis and P. Hsai. Giving VOICE to Requirements Engineering. IEEE Software, pages 12-16, Mar. 1994.
8. D. Duffy, C. MacNish, J. McDermid, and P. Morris. A Framework for Requirements Analysis Using Automated Reasoning. In Proceedings of Conference of Advanced Information Systems Engineering, CAiSE 95, 1995.
9. K. E. Emam and N. H. Madhavji. A Field Study of Requirements Engineering Practices in Information Systems Development. In Proceedings of the Second IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Mar. 1995.
10. S. Goldsack and A. Finkelstein. Requirements Engineering for Real-Time Systems. Software Engineering Journal, pages 101-115, May 1991.
11. O. C. Gotel and A. C. Finkelstein. An Analysis of the Requirements Traceability Problem. In Proceedings of the First International Conference on Requirements Engineering (ICRE). IEEE Computer Society Press, Apr. 1994.
12. 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-414, Apr. 1990.
13. P. Hsai, A. Davis, and D.Kung. Status Report: Requirements Engineering. IEEE Software, pages 75-79, Nov. 1993.
14. P. Hsai, J. Samual, J. Gao, D. Kung, Y. Toyoshima, and C. Chen. Formal Approach to Scenario Analysis. IEEESoftware, pages 33-41, Mar. 1994.
15. T. McCluskey, J. Porteous, Y. Naik, C. Taylor, and S. Jones. A Requirements Capture Method and its use in an Air Traffic Control Application. Software-Practice and Experience, 25(1):47-71,Jan. 1995.
16. J. McDermid. Requirements Analysis: Problems and the STARTS Approach. In Proceedings ofthe IEE Colloquium on Requirements Capture and Specificationfor Critical Systems, Nov. 1989.
17. C. Potts and K. Takahashi. An Active Hypertext Model for System Requirements. In Proceedings of the 7th International Workshop on Software Specification and Design. IEEE computer Society Press, 1993.
18. C. Potts, K. Takahashi, and A. I. Anton. Inquiry-Based Requirements Analysis. IEEE Software, pages 21-32, Mar. 1994.
19. B. Regnell, M. Anderson, and J. Bergstrand. A Hierarchical Use Case Model with Graphical Representation. To appear in the proceedings of ECBS'96, IEEE International Symposium and Workshop on Engineering of Computer-Based Systems, 8 pages, 1996.
20. B. Regnell, K. Kimbler, and A. Wesslen. Improving the Use Case Driven Approach to Requirements Engineering. In Proceedings ofSecond IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Mar. 1995.
21. C. Rolland. A Contextual Approach for the Requirements Engineering Process. In Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering, June 1994.
22. I. Spence and B. Carey. Customers Do Not Want Frozen Specifications. Software Engineering Journal, pages 175-180, July 1991.
23. J. Spivey. An Introduction to Z and Formal Specifications. Software Engineering Journal, pages 40-50, Jan. 1989.
24. A. van Lamsweerde, R. Darimont, and P. Massonet. Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt. In Proceedings ofSecond IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Mar. 1995.
25. S. M. White. Comparative Analysis of Embedded Computer System Requirements Methods. In Proceedings of the First International Conference on Requirements Engineering, pages 126-134. IEEE Computer Society Press, Apr. 1994.
26. D. P. Wood, M. G. Christel, and S. M. Stevens. A Multimedia Approach to Requirements Capture and Modeling. In Proceedings ofthe First International Conference on Requirements Engineering. IEEE Computer Society Press, Apr. 1994.