Databases in software development: The Ada programming support environment

  • J A Hall
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 180)


Software engineering is a relatively recent discipline within the computer field but software tools have repeated many of the mistakes of previous application areas. It is the contention of this paper that data modelling is the key to software engineering and that key results of the database experience must be assimilated by software engineering practitioners. A major project which has recognised this is the UK Ada development, The paper describes some of the ideas behind the UK Kapse and its data base, and some of the problems in moving database technology into software development environments.


Software Development Software Engineering Filing System Database Technology Abstract Data Type 
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. Benneworth, R.L. et al (1981). The implementation of GERM, an entity-relationship database management system. Proceeding 7th International Conference on Very Large Databases, 478–484.Google Scholar
  2. Boehm, B. W. (1976). Software Engineering. IEEE Transactions on Computers, C-25. No. 12, 1226–1241.Google Scholar
  3. Chen, P. P. (1976). The entity relationship model — towards a unified view of data. ACM Transaction on Database Systems, 1, No. 1, 9–36.Google Scholar
  4. Codd, E. F. (1970). A relational model of data for large shared data banks. CACM, 13, No. 6, 377–387.Google Scholar
  5. Davies, C. T. (1973). Recovery semantics for a DB/DC system. Proceeding ACM, 28, 136–141.Google Scholar
  6. Department of Defense. (1980). Requirements for Ada programming support environment. "STONEMAN", HOLWG.Google Scholar
  7. Department of Industry. (1982). A programme for advanced technology. The report of the Alvey Committee, London.Google Scholar
  8. Falla, M. E. (1981). The Gamma software engineering system. Computer J. 24, No. 3, 235–242.Google Scholar
  9. Habermann, A. N. & Perry, D. E. (1981). System composition and version control for Ada. In Huenke (1981), pp. 331–343.Google Scholar
  10. Huenke, H. (ed.). (1981). Software Engineering Environments. Amsterdam; North Holland.Google Scholar
  11. McGuffin, R.W. et al. (1980). CADES — software engineering in practice. ICL Technical J., 13–28.Google Scholar
  12. Mitze, R. W. (1981). The UNIX system as a software engineering environment. In Huenke (1981), pp 345–357.Google Scholar
  13. Moss, J. E. B. (1981). Nested transactions: an approach to reliable distributed computing. Thesis, M. I. T.Google Scholar
  14. Osterweil, L. & Clemm. G. (1984). The Toolpack/IST Approach to Extensibility in Software Environments. In this work.Google Scholar
  15. Randell, B. (1979). Reliable computing systems, In Operating Systems, ed. R. Bayer et al., pp. 282–391. Springer Verlag.Google Scholar
  16. Shipman, D. W. (1981). The Functional data model and the data language DAPLEX. ACM Transactions on Database Systems, 6, No. 1, 140–173.Google Scholar
  17. Smith, J. M. et al. (1981). Reference manual for ADAPLEX. Computer Corporation of America, Technical Report CCA-81-02.Google Scholar
  18. SPL International, Systems Designers Ltd., Software Sciences Ltd., International Computers Ltd. (1981) United Kingdon Ada Study final technical report.Google Scholar
  19. SPL International. Systems Designers Ltd., Software Sciences Ltd., International Computers Ltd. (1982) United Kingdom Ada Study, Ada environment facilities.Google Scholar
  20. Teichroew, D. & Hershey, E. A. (1977). PSL/PSA: a computer aided technique for structured documentation and analysis of information processing systems. IEEE Transactions on Software Engineering. SE-3, No. 1, 16–34.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • J A Hall
    • 1
  1. 1.Ada Group LimitedReading

Personalised recommendations