VIEWPOINT ORIENTED SOFTWARE-DEVELOPMENT - METHODS AND VIEWPOINTS IN REQUIREMENTS ENGINEERING.
(29 - 54).
This paper outlines progress on: developing methods to support requirements formalisation; incremental development of formal specifications; tool support for requirements expression; modelling requirements elicitation. A central thread in this work the -concept of "ViewPoint"- is examined, motivated and systematically characterised. The implications for methods to support the construction of formal specifications are considered. A framework for further work is outlined.
|Title:||VIEWPOINT ORIENTED SOFTWARE-DEVELOPMENT - METHODS AND VIEWPOINTS IN REQUIREMENTS ENGINEERING|
|UCL classification:||UCL > School of BEAMS > Faculty of Engineering Science > Engineering Science Faculty Office|
Archive Staff Only