Skip to main content
SpringerLink
Log in

Integrated Project Support Environments: General Principles and Issues in the Development of High Integrity Systems

  • Chapter
Software Engineering for Large Software Systems

  • 140 Accesses

Abstract

There have been many advances in software development technology and in software engineering methods and tools since the introduction of computers in the late 1940’s and early 1950’s. Perhaps the most significant advance in software quality and individual programmer productivity has arisen from the development, and evolution, of the high level programming language. A significant effect on software development productivity, if not always quality, has also arisen from the dramatic increase in the performance/price ratio of computer hardware, particularly from the advent of the workstation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J K Biba, “Integrity considerations for secure computer systems”, ESD-TR- 76-372, ESD/AFSC Hanscom AFB, Bedford, Mass (1977). (MITRE MTR 3153 NTIS AD A039324 (1977)).

    Google Scholar 

  2. W J Black, A G Sutcliffe, P Loucopoulos, P J Layzell, “Translation between Pragmatic Software Development Methods”, in Proceedings of ESEC87, eds. H Nichols and D Simpson, LNCS, Springer Verlag (1987).

    Google Scholar 

  3. B W Boehm, “Software Engineering Economics”, Prentice Hall (1981).

    Google Scholar 

  4. F P Brooks, “No Silver Bullet: Essence and Accidents of Software Engineering”, IEEE Computer, Vol. 20 (4) pp 10–20 (1987).

    MathSciNet  Google Scholar 

  5. A Comparison of Commercial and Military Computer Security Policies, D D Clark, D R Wilson, Proceedings of IEEE Symposium on Security ana Privacy, IEEE Press (1987).

    Google Scholar 

  6. P Cronshaw, “The Experimental Aircraft Programme Software Toolset”, Software Engineering Journal, Vol. 1 (6) (1986).

    Google Scholar 

  7. T DeMarco, Structured Analysis and System Specification, Yourdon Press (1978).

    Google Scholar 

  8. K.R. Dittrich, W. Gotthard and P.C. Lockemann, “DAMOKLES - A Database System for Software Engineering Environments”, in “Proc. of IFIP Workshop on Advanced Programming Environments”, Springer Verlag (1987).

    Google Scholar 

  9. Security Models and Enterprise Models, J E Dobson, J A McDermid, Proceedings of IFIP Workshop on Database Security, ed. C Landwehr, IFIP Press (1988).

    Google Scholar 

  10. DoD, “Requirements for Ada Programming Support Environments: Stoneman”, (1980).

    Google Scholar 

  11. M. Dowson, “Integrated Project Support with ISTAR”, Software pp., IEEE, (1987).

    Google Scholar 

  12. M. Dowson, (ed.), “Software Process Workshop”, ACM (1988).

    Google Scholar 

  13. DTI, “The STARTS Guide, Second Edition”, Department of Trade and Industry (1987) Available from the National Computing Centre.

    Google Scholar 

  14. D M England, “A User Interface Design Tool”, in “Proceedings of ESEC87, Lecture Notes in Computer Science”, Springer Verlag (1987).

    Google Scholar 

  15. V B Erickson and J F Pellegrin, “Build - A Software Construction Tool”, BeH Lab.s Technical Journal, Vol. 63 (6) pp., (1984).

    Google Scholar 

  16. Requirements and Design Criteria for Tool Support Interfaces, GIE Emeraude, Selenia, Software Sciences (1987).

    Google Scholar 

  17. S I Feldman, “Make - A Program for Maintaining Computer Programs”, Software Practice and Experience, Vol. 9 pp., (1979).

    Google Scholar 

  18. The Algebraic Specification of a Target Machine: Tenl5, J M Foster, in High Integrity Software, ed. C T Sennett, Pitman (1989).

    Google Scholar 

  19. A Goldberg and D Robson, “Smalltalk-80: The Language and its Impelemntation”, Addison-Wesley, (1983).

    Google Scholar 

  20. I. Hayes, (ed.), “Specification Case Studies”, Prentice Hall International (1986).

    Google Scholar 

  21. Hitchcock and R. P. Whittington (eds.), “The ASPECT Project”, (to appear, (1990).

    Google Scholar 

  22. C A R Hoare, “Communicating Sequential Processes”, Prentice Hall 1985.

    Google Scholar 

  23. K Jackson, “MASCOT3 and Ada”, Software Engineering Journal, Vol. 1 (3) (1986).

    Google Scholar 

  24. B A Kitchenham and J A McDermid, “Software Metrics and Integrated Project Support Environments”, Software Engineering Journal pp., (1986).

    Google Scholar 

  25. D B Leblang and R Chase, “Computer Aided Software Engineering in a Distributed Workstation Context”, in “ACM Conference on Practical Software Development Environments” (1984).

    Google Scholar 

  26. J A McDermid and K Ripken, “Life Cycle Support in the Ada Environment”, Cambridge University Press 1984.

    Google Scholar 

  27. J A McDermid (Ed), “Integrated Project Support Environments”, Peter Peregrinus Limited 1986.

    Google Scholar 

  28. J A McDermid, “Software Design Methods: Characteristics and Choice”, in “Software Engineering for Electronic Systems”, ed. A C Davies, Butterworth Scientific (1989).

    Google Scholar 

  29. J A McDermid, E S Hocking, “Security Policies for Integrated Project Support Environments”, Proceedings of IFIP Workshop on Database Security (1989) (to appear in the M P Press, ed. C Landwehr, 1990).

    Google Scholar 

  30. J A McDermid and P Rook, “Software Development Process Models”, in Software Engineer’s Reference Book, ed. J A McDermid, Butterworth Scientific (1990).

    Google Scholar 

  31. R W McGuffin, A E Elliston, B R Tranter and P N Westmacott, “CADES - Software Engineering in Practice”, in “Proc. of 4th International Conference on Software Engineering”, IEEE (1979).

    Google Scholar 

  32. A J R G Milner, “Calculus of Communicating Systems”, in “Lecture Notes in Computer Science No. 92”, ed. G Goos and J Hartmanis, Springer Verlag (1980).

    Google Scholar 

  33. G P Mullery, “CORE - a Method for Controlled Requirements Specification”, in “Proceedings of 4th International Conference on Software Engineering”, IEEE Computer Society Press (1979).

    Google Scholar 

  34. W G Paseman, “Architecture of a Tool Integration and Portability Platform”, in “Proceedings of COMPCON” (1988).

    Google Scholar 

  35. DM Ritchie and K Thompson, “The UNIX Time-Sharing System”, Bell Sys. Tech. J., Vol 57 (6) pp. 1905–1929, (1978).

    Google Scholar 

  36. M J Rochkind, “The Source Code Control System”, Transactions on Software Engineering pp., IEEE, (1975).

    Google Scholar 

  37. The Development Environment for Secure Software, C T Sennett, RSRE Report 87015 (1987).

    Google Scholar 

  38. A Sloman, S Hardy and J Gibson, “POPLOG: A Multilanguage Program Development Environment”, in “Information Technology: Research and Development” (1983).

    Google Scholar 

  39. I Sommerville (ed), “oftware Engineering Environments”.Peter Peregrinus Limited (1986).

    Google Scholar 

  40. A G Sutcliffe, “Jackson Structured Design”, Prentice Hall, (1988).

    Google Scholar 

  41. H W Thimbleby, “Experiences of “Literate Programming” using cweb (a variant of Knuths WEB)”, The Computer Journal (3) pp., (1986).

    Google Scholar 

  42. R K Took, “The Presenter - a formal design for an autonomous display manager for an IPSE”, in “Software Engineering Environments”, ed. I Sommerville, Peter Peregrinus Limited (1986).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Department of Computer Science, University of York, UK

    John A. McDermid (Professor, Director)

  2. York Software Engineering Limited, UK

    John A. McDermid (Professor, Director)

Authors
  1. John A. McDermid
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The National Computing Centre, Manchester, UK

    B. A. Kitchenham (Software Metrics Consultant) (Software Metrics Consultant)

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Institution of Electrical Engineers

About this chapter

Cite this chapter

McDermid, J.A. (1990). Integrated Project Support Environments: General Principles and Issues in the Development of High Integrity Systems. In: Kitchenham, B.A. (eds) Software Engineering for Large Software Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0771-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-0771-3_2

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-6833-8

  • Online ISBN: 978-94-009-0771-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation