{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:16Z","timestamp":1725662956641},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540138785"},{"type":"electronic","value":"9783540390718"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13878-1_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:07:26Z","timestamp":1330193246000},"page":"115-132","source":"Crossref","is-referenced-by-count":0,"title":["Databases in software development: The Ada programming support environment"],"prefix":"10.1007","author":[{"given":"J A","family":"Hall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"10_CR1","unstructured":"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\u2013484."},{"issue":"12","key":"10_CR2","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","volume":"C-25","author":"B. W. Boehm","year":"1976","unstructured":"Boehm, B. W. (1976). Software Engineering. IEEE Transactions on Computers, C-25. No. 12, 1226\u20131241.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"10_CR3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. P. Chen","year":"1976","unstructured":"Chen, P. P. (1976). The entity relationship model \u2014 towards a unified view of data. ACM Transaction on Database Systems, 1, No. 1, 9\u201336.","journal-title":"ACM Transaction on Database Systems"},{"issue":"6","key":"10_CR4","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. F. Codd","year":"1970","unstructured":"Codd, E. F. (1970). A relational model of data for large shared data banks. CACM, 13, No. 6, 377\u2013387.","journal-title":"CACM"},{"key":"10_CR5","first-page":"136","volume":"28","author":"C. T. Davies","year":"1973","unstructured":"Davies, C. T. (1973). Recovery semantics for a DB\/DC system. Proceeding ACM, 28, 136\u2013141.","journal-title":"Proceeding ACM"},{"key":"10_CR6","unstructured":"Department of Defense. (1980). Requirements for Ada programming support environment. \"STONEMAN\", HOLWG."},{"key":"10_CR7","volume-title":"A programme for advanced technology","author":"Department of Industry","year":"1982","unstructured":"Department of Industry. (1982). A programme for advanced technology. The report of the Alvey Committee, London."},{"issue":"3","key":"10_CR8","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1093\/comjnl\/24.3.235","volume":"24","author":"M. E. Falla","year":"1981","unstructured":"Falla, M. E. (1981). The Gamma software engineering system. Computer J. 24, No. 3, 235\u2013242.","journal-title":"Computer J."},{"key":"10_CR9","unstructured":"Habermann, A. N. & Perry, D. E. (1981). System composition and version control for Ada. In Huenke (1981), pp. 331\u2013343."},{"key":"10_CR10","unstructured":"Huenke, H. (ed.). (1981). Software Engineering Environments. Amsterdam; North Holland."},{"key":"10_CR11","unstructured":"McGuffin, R.W. et al. (1980). CADES \u2014 software engineering in practice. ICL Technical J., 13\u201328."},{"key":"10_CR12","unstructured":"Mitze, R. W. (1981). The UNIX system as a software engineering environment. In Huenke (1981), pp 345\u2013357."},{"key":"10_CR13","unstructured":"Moss, J. E. B. (1981). Nested transactions: an approach to reliable distributed computing. Thesis, M. I. T."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Osterweil, L. & Clemm. G. (1984). The Toolpack\/IST Approach to Extensibility in Software Environments. In this work.","DOI":"10.1007\/3-540-13878-1_11"},{"key":"10_CR15","unstructured":"Randell, B. (1979). Reliable computing systems, In Operating Systems, ed. R. Bayer et al., pp. 282\u2013391. Springer Verlag."},{"issue":"1","key":"10_CR16","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/319540.319561","volume":"6","author":"D. W. Shipman","year":"1981","unstructured":"Shipman, D. W. (1981). The Functional data model and the data language DAPLEX. ACM Transactions on Database Systems, 6, No. 1, 140\u2013173.","journal-title":"ACM Transactions on Database Systems"},{"key":"10_CR17","unstructured":"Smith, J. M. et al. (1981). Reference manual for ADAPLEX. Computer Corporation of America, Technical Report CCA-81-02."},{"key":"10_CR18","unstructured":"SPL International, Systems Designers Ltd., Software Sciences Ltd., International Computers Ltd. (1981) United Kingdon Ada Study final technical report."},{"key":"10_CR19","unstructured":"SPL International. Systems Designers Ltd., Software Sciences Ltd., International Computers Ltd. (1982) United Kingdom Ada Study, Ada environment facilities."},{"issue":"1","key":"10_CR20","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TSE.1977.229902","volume":"SE-3","author":"D. Teichroew","year":"1977","unstructured":"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\u201334.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Ada Software Tools Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13878-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:07Z","timestamp":1619556847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13878-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540138785","9783540390718"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-13878-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}