{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:03:26Z","timestamp":1725469406950},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540341285"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-34129-3_1","type":"book-chapter","created":{"date-parts":[[2006,8,14]],"date-time":"2006-08-14T14:13:23Z","timestamp":1155564803000},"page":"3-15","source":"Crossref","is-referenced-by-count":0,"title":["Innovation in Engineering Software Intensive Systems"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Brodie ML, Michael Stonebraker (1995) Migrating Legacy Systems: Gateways, Interfaces & the Incremental Approach. Morgan Kaufmann, March 1995"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF01211434","volume":"3","author":"M. Broy","year":"1991","unstructured":"Broy M (1991) Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing 3, 1991, 21\u201357","journal-title":"Formal Aspects of Computing"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Broy M (1997) Refinement of Time. In: Bertran M, Rus Th (eds.): Transformation-Based Reactive System Development. ARTS\u201997, Mallorca 1997. Lecture Notes in Computer Science 1231, 1997, 44\u201363","DOI":"10.1007\/3-540-63010-4_4"},{"key":"1_CR4","unstructured":"Broy M, St\u00f8len K (2001) Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer 2001"},{"key":"1_CR5","unstructured":"Herzberg D, Broy M (2003) Modeling layered distributed communication systems. Applicable Formal Methods. Springer Verlag, Volume 17, Number 1, May 2005"},{"key":"1_CR6","unstructured":"Broy M, Dei\u00dfenb\u00f6ck F, Pizka M (2005) A Holistic Approach to Software Quality at Work. 3rd World Congress for Software Quality (3WCSQ), 2005"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Dijkstra EW (1968) Go To statement considered harmful. Communications of the ACM, 11(3), 1968.","DOI":"10.1145\/362929.362947"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1109\/32.268921","volume":"20","author":"N. Fenton","year":"1994","unstructured":"Fenton N (1994) Software measurement: A necessary scientific basis. IEEE Trans. Softw. Eng., 20(3):199\u2013206, 1994.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR9","unstructured":"IEEE (1998) Standard for a software quality metrics methodology. IEEE 1061, 1998"},{"key":"1_CR10","unstructured":"Jones C (2000) Software Assessments, Benchmarks, and Best Practices. Addison Wesley, 2000."},{"key":"1_CR11","unstructured":"Katheder K (2003) A Survey on Software Maintenance Practices, Technische Universit\u00e4t M\u00fcnchen, November 2003"},{"key":"1_CR12","unstructured":"Lions JL (1996) ARIANE 5 \u2014 Flight 501 Failure. European Space Agency (ESA), July, 1996."},{"key":"1_CR13","unstructured":"Paulk MC, Weber CV, Curtis B, Chrissis MB (1995) The capability maturity model, guidelines for improving the software process. Addison-Wesley 1995."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. Parnas","year":"1972","unstructured":"Parnas D (1972) On the criteria to be used to decompose systems into modules. Comm. ACM 15, 1972, 1053\u20131058","journal-title":"Comm. ACM"},{"key":"1_CR15","unstructured":"Pigoski TM (1996) Practical Software Maintenance. Wiley Computer Publishing, 1996"},{"key":"1_CR16","volume-title":"Real-time Object-oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic B, Gullekson G, Ward PT (1994) Real-time Object-oriented Modeling. Wiley, New York 1994"},{"key":"1_CR17","unstructured":"SEI (2004) Software Engineering Institute, Carnegie Mellon University. Maintainability Index Technique for Measuring Program Maintainability. January 2004, (http:\/\/www.sei.cmu.edu\/str\/descriptions\/mitmpm.html)"},{"key":"1_CR18","unstructured":"SEQ (2001) Software engineering \u2014 Product quality \u2014 Part 1: Quality Model. ISO\/IEC 9126-1, June 2001."},{"key":"1_CR19","unstructured":"SEQ (2003) Software engineering \u2014 Product quality \u2014 Part 3: Internal metrics. ISO\/IEC 9126-3, July 2003."},{"key":"1_CR20","unstructured":"Standish (1995) Standish Group International, Inc. CHAOS. 1995"},{"key":"1_CR21","unstructured":"Standish (1999) Standish Group International, Inc. CHAOS: A Recipe for Success. 1999"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology, January 1997","DOI":"10.1145\/237432.237434"},{"key":"1_CR23","unstructured":"Zuse H (1996) A Framework of Software Measurement. Walter de Gruyter, 1998"}],"container-title":["Managing Development and Application of Digital Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-34129-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:37Z","timestamp":1619572717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-34129-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540341285"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-34129-3_1","relation":{},"subject":[]}}