16
Views
10
CrossRef citations to date
0
Altmetric
Original Articles

Formalizations in systems development

&
Pages 145-155 | Published online: 24 Oct 2007

References

  • BOEHM , B. W. , 1981 , Software Engineering Economics ( Englewood Cliffs , N.J. Prentice-Hall ).
  • BROOKS , F. P. , JR. , 1982 , The Mythical Man-Month ( Reading , Massachussets Addison-Wesley ).
  • DAVIS , G. B. , 1982 , Strategies for information requirements determination . IBM Systems Journal , 21 , 4 – 30 .
  • FLOYD , C. , 1984 , A systematic look at prototyping . Approaches to Prototyping , edited by et al. . ( Berlin , Heidelberg Springer-Verlag ).
  • FREEDMAN , D. P. , and WEINBERG , G. M. , 1982 , Handbook of Walkthroughs, Inspections, and Technical Reviews ( Boston Little , Brown & Co ).
  • JACKSON , M. A. , 1975 , 1975 , Principles of Program Design ( London Academic Press ).
  • JACKSON , M. A. , 1983 , System Development ( Englewood Cliffs , N.J. Prentice-Hall ).
  • KRAFT , P. , 1977 , Programmers and Managers ( New York Springer-Verlag ).
  • LANZARA , G. F. , 1983 , The design process: metaphors and games . Systems Design For, With and By the Users , edited by et al. ( Amsterdam North Holland ).
  • LANZARA , G. F. , and MATHIASSEN , L. , 1984 , Mapping Situations within a System Development Project . University of Aarhus , DAIMI PB-179 .
  • MARCH , J. G. , and SIMON , H. A. , 1958 , Organizations ( Wiley ).
  • MATHIASSEN , L. , 1981 , Systemudvikling og systemudviklingsmetode (Systems Development and Systems Development Method) , University of Aarhus , DAIMI PB-136 .
  • MUNK-MADSEN , A. , 1984 , Practical problems of system development projects . Report of the Seventh Scandinavian Research Seminar on Systemeering , edited by M. Saaksjarvi . Helsinki School of Economics .
  • NAUR , P. , 1982 , Formalizations in program development . BIT , 22 , 437 – 53 .
  • POLYA , G. , 1957 , How to Solve It ( Garden City , N.Y. Doubleday ).
  • WEINBERG , G. M. , 1982 , Overstructured Management of Software Engineering . Course Notes for Problem Solving Leadership Workshop .
  • * An earlier and shorter version of this paper was published in the Proceedings of Formal Methods and Software Development (Springer-Verlag, 1985).

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.