ViewPoint oriented software development: Methods and viewpoints in requirements engineering

  • Anthony Finkelstein
  • Michael Goedicke
  • Jeff Kramer
  • Celso Niskier
Part I Invited Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 490)


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.


Software Development Requirement Engineering Work Plan Requirement Elicitation Incremental Development 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Goedicke,M.(1989); Paradigms of Modular Software Development (to appear) Mitchell R.J. (Ed); Managing Complexity in Software Engineering; Peter Peregrinus, Stevenage, EnglandGoogle Scholar
  7. Kaiser G., Feiler P., Popovich S. (1988); Intelligent Assistance for Software Development and Maintenance; IEEE Software, May 1988, pp40–49Google Scholar
  8. 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
  9. 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
  10. Kramer J. & Magee J. (1985); Dynamic Configuration for Distributed Systems; IEEE Trans. Software Engineering; SE-11,4, pp 424–436.Google Scholar
  11. 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
  12. Mackenzie, J. (1981); The Dialectics of Logic; Logique et Analyse, V24, pp 159–177.Google Scholar
  13. Mullery, G. (1985); Acquisition-Environment; (In) Paul, M. & Siegert, H. "Distributed Systems: Methods and Tools for Specification"; Springer Verlag LNCS 190.Google Scholar
  14. Niskier C. & Maibaum T. (1989); Acquisition, Classification and Formalisation of Software Specification Heuristics; Proc. 3rd European Knowledge Acquisition Workshop.Google Scholar
  15. 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
  16. 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
  17. Stephens, M. & Whitehead, K. (1985); "The Analyst — A Workstation for Analysis and Design"; Proc 8th ICSE; IEEE CS Press.Google Scholar
  18. Wile D. (1983); Program Developments: Formal Explanations of Implementations; CACM 26(11), pp 902–911.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Anthony Finkelstein
    • 1
  • Michael Goedicke
    • 1
  • Jeff Kramer
    • 1
  • Celso Niskier
    • 1
  1. 1.Imperial College of Science, Technology & MedicineUniversity of LondonUK

Personalised recommendations