Skip to main content
SpringerLink
Log in
Book cover

Workshop on Algebraic Methods

Algebraic Methods 1989: Algebraic Methods II: Theory, Tools and Applications pp 29–54Cite as

ViewPoint oriented software development: Methods and viewpoints in requirements engineering

  • Part I Invited Contributions
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 490))

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.

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.

    Google Scholar 

  • 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].

    Google Scholar 

  • 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.

    Google Scholar 

  • Finkelstein, A. & Potts, C. (1987); Building Formal Specifications Using “Structured Common Sense”; Proc. 4th International Workshop on Software Specification & Design; IEEE CS Press.

    Google Scholar 

  • Goedicke M., Ditt W., Schippers H. (1989); The Π-Language Reference Manual, Research Report No 295 1989, Department of Computer Science, University of Dortmund.

    Google Scholar 

  • Goedicke,M.(1989); Paradigms of Modular Software Development (to appear) Mitchell R.J. (Ed); Managing Complexity in Software Engineering; Peter Peregrinus, Stevenage, England

    Google Scholar 

  • Kaiser G., Feiler P., Popovich S. (1988); Intelligent Assistance for Software Development and Maintenance; IEEE Software, May 1988, pp40–49

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kramer J. & Magee J. (1985); Dynamic Configuration for Distributed Systems; IEEE Trans. Software Engineering; SE-11,4, pp 424–436.

    Google Scholar 

  • 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.

    Google Scholar 

  • Mackenzie, J. (1981); The Dialectics of Logic; Logique et Analyse, V24, pp 159–177.

    Google Scholar 

  • Mullery, G. (1985); Acquisition-Environment; (In) Paul, M. & Siegert, H. "Distributed Systems: Methods and Tools for Specification"; Springer Verlag LNCS 190.

    Google Scholar 

  • Niskier C. & Maibaum T. (1989); Acquisition, Classification and Formalisation of Software Specification Heuristics; Proc. 3rd European Knowledge Acquisition Workshop.

    Google Scholar 

  • 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].

    Google Scholar 

  • Robinson W. (1989); Integrating Multiple Specifications Using Domain Goals; Proc 5th International Workshop on Software Specification & Design; pp 219–226, IEEE CS Press.

    Google Scholar 

  • Stephens, M. & Whitehead, K. (1985); "The Analyst — A Workstation for Analysis and Design"; Proc 8th ICSE; IEEE CS Press.

    Google Scholar 

  • Wile D. (1983); Program Developments: Formal Explanations of Implementations; CACM 26(11), pp 902–911.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Imperial College of Science, Technology & Medicine, University of London, UK

    Anthony Finkelstein, Michael Goedicke, Jeff Kramer & Celso Niskier

Authors
  1. Anthony Finkelstein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Goedicke
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeff Kramer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Celso Niskier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. Bergstra L. M. G. Feijs

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation