From requirements change to design change: A formal path

Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

Volumn , Issue , 2004, Pages 104-113

  Wen, Lian ^a   Dromey, R Geoff ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

Behavior trees; Genetic software engineering; Requirements engineering; Software automation; Software change; Software evolution; Traceability analysis

Indexed keywords

COMPUTER SIMULATION; INTERFACES (COMPUTER); MAPPING; OBJECT ORIENTED PROGRAMMING; REENGINEERING; REQUIREMENTS ENGINEERING; WEB BROWSERS;

BEHAVIOR TREES; GENETIC SOFTWARE ENGINEERING; SOFTWARE AUTOMATION; SOFTWARE CHANGE; SOFTWARE EVOLUTION; TRACEABILITY ANALYSIS;

SOFTWARE ENGINEERING;

EID: 16344374921     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Dromey, R.G., "From Requirements Change to Design Change: Formalising the Key Steps", (Invited Keynote Address), IEEE International Conference on Software Engineering and Formal Methods, SEFM'2003, pp. 2-11, Brisbane, September, 2003.
2. Bohner, S. A., Arnold, R. S., "Software Change Impact Analysis", IEEE Computer society Press Los Alamitos, California, 1996 QA 76.76.E93 B65
3. th Int'l conf. on software Maintenance and Re-engineering, IEEE CS Press, Los Alamitos, Calif., 1991
4. Bohner, S. A., "Impact Analysis in the Software Change Process: A Year 2000 Perspective", Software Change Impact Analysis, 1996
5. Fowler, M., Scott, K., "UML Distilled A Brief Guide to the Standard Object Modeling Language", Addison-Wesley Publishers Ltd., 2000
6. Garg, P. K., Scacchi, W., "A Hypertext System to Manage Software Life-Cycle Documents", IEEE Software, Vol. 7, No. 3, May 1990, pp. 90-98.
7. Horowitz, E., Williamson, R. C., "SODOS: A Software Documentation Support Environment - Its Definition", IEEE Trans. Software Eng., Vol. SE-12, No. 8, Aug. 1986
8. Cimitile, A., Lanuble, F., Visaggio, G., "Traceability Based on Design Decisions", Proc. Conf. On Software Maintenance, IEEE CS Press, Los Alamitos, Clif. 1992
9. Conklin, J., "Hypertext: An Introduction and Survey", Computer, Sept. 1987,
10. Trigg, R. H., and Weiser, M. "Textnet: A Network-Based Approach to Text Handling", ACM Trans. Office Information Systems, Jan. 1986
11. Bigelow, J., "Hypertext and CASE", IEEE Software, March 1988
12. Shlaer, S., Mellor, S.J., "Structured Development for Real-Time Systems", Vols. 1-3, Yourdon Press, 1985.