Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Cunningham J., Finkelstein A., Goldsack S., Maibaum T. & Potts C. (1985); Formal Requirements Specification — The Forest Project; Proc. 3rd International Workshop on Software Specification & Design; pp 186–191, IEEE CS Press.
Finkelstein A. & Fuks H. (1989); Multi-Party Specification; Proc 5th International Workshop on Software Specification & Design; pp 185–196, IEEE CS Press [Also ACM Software Engineering Notes May 1989].
Finkelstein, A. & Hagelstein, J. (1989); Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda; [To appear] Nijssen, S. & Twine, S.(Eds) IFIP CRIS Review Workshop; North-Holland.
Finkelstein, A. & Potts, C. (1987); Building Formal Specifications Using “Structured Common Sense”; Proc. 4th International Workshop on Software Specification & Design; IEEE CS Press.
Goedicke M., Ditt W., Schippers H. (1989); The Π-Language Reference Manual, Research Report No 295 1989, Department of Computer Science, University of Dortmund.
Goedicke,M.(1989); Paradigms of Modular Software Development (to appear) Mitchell R.J. (Ed); Managing Complexity in Software Engineering; Peter Peregrinus, Stevenage, England
Kaiser G., Feiler P., Popovich S. (1988); Intelligent Assistance for Software Development and Maintenance; IEEE Software, May 1988, pp40–49
Kellner M., Hansen G. (1989); Software Process Modelling: a case study; Proc. Hawaii International Conference on System Sciences-22, V2, pp175–188; IEEE CS Press.
Khosla S., Maibaum T. (1989); Time, Behaviour and Function; (In) Barringer H., Proc. Colloquium on Temporal Logic & Specifications (Handbook of Temporal Logic); LNCS Springer Verlag.
Kramer J. & Magee J. (1985); Dynamic Configuration for Distributed Systems; IEEE Trans. Software Engineering; SE-11,4, pp 424–436.
Kramer J., Finkelstein A., Ng K., Potts C. & Whitehead K. (1987); “Tool Assisted Requirements Analysis: TARA final report”; Imperial College, Dept. of Computing, Technical Report 87/18.
Mackenzie, J. (1981); The Dialectics of Logic; Logique et Analyse, V24, pp 159–177.
Mullery, G. (1985); Acquisition-Environment; (In) Paul, M. & Siegert, H. "Distributed Systems: Methods and Tools for Specification"; Springer Verlag LNCS 190.
Niskier C. & Maibaum T. (1989); Acquisition, Classification and Formalisation of Software Specification Heuristics; Proc. 3rd European Knowledge Acquisition Workshop.
Niskier C., Maibaum T. & Schwabe D. (1989); A Look Through PRISMA: towards knowledge-based environments for software specification; Proc 5th International Workshop on Software Specification & Design; pp 128–136, IEEE CS Press [Also ACM Software Engineering Notes May 1989].
Robinson W. (1989); Integrating Multiple Specifications Using Domain Goals; Proc 5th International Workshop on Software Specification & Design; pp 219–226, IEEE CS Press.
Stephens, M. & Whitehead, K. (1985); "The Analyst — A Workstation for Analysis and Design"; Proc 8th ICSE; IEEE CS Press.
Wile D. (1983); Program Developments: Formal Explanations of Implementations; CACM 26(11), pp 902–911.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Finkelstein, A., Goedicke, M., Kramer, J., Niskier, C. (1991). ViewPoint oriented software development: Methods and viewpoints in requirements engineering. In: Bergstra, J.A., Feijs, L.M.G. (eds) Algebraic Methods II: Theory, Tools and Applications. Algebraic Methods 1989. Lecture Notes in Computer Science, vol 490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53912-3_17
Download citation
DOI: https://doi.org/10.1007/3-540-53912-3_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53912-4
Online ISBN: 978-3-540-46351-1
eBook Packages: Springer Book Archive