{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:56:32Z","timestamp":1725987392388},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0035143","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:38:44Z","timestamp":1138203524000},"page":"378-393","source":"Crossref","is-referenced-by-count":2,"title":["Augmenting the design process: Transformations from abstract design representations"],"prefix":"10.1007","author":[{"given":"David","family":"Budgen","sequence":"first","affiliation":[]},{"given":"Grant","family":"Friel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"22_CR1","unstructured":"Special Issue on MASCOT. Software Engineering Journal, Vol. 1(No. 3), May 1986."},{"key":"22_CR2","unstructured":"Generalised object oriented support environment (goose), 1991. Three year research project."},{"issue":"11","key":"22_CR3","doi-asserted-by":"crossref","first-page":"1351","DOI":"10.1109\/TSE.1985.231883","volume":"SE-11","author":"B Adelson","year":"1985","unstructured":"B Adelson and E Soloway. \u201cThe Role of Domain Experience in Software Design\u201d.\u201cIEEE Transactions on Software Engineering\u201d, SE-11(11):1351\u20131360, November 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR4","unstructured":"H Alexander and Val Jones. Software Design and Prototyping using me too. Prentice-Hall, 1990."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"David Budgen and Mustafa Marashi. \u201cMDSE Advisor: Knowledge based techniques applied to software design assessment.\u201d. Knowledge Based Systems, Vol 1 (No. 4), September 1988.","DOI":"10.1016\/0950-7051(88)90034-2"},{"key":"22_CR6","unstructured":"David Budgen and Mustafa Marashi. \u201cKnowledge Use in Software Design\u201d. In Kathy Spurr and Paul Layzell, editors, CASE on Trial, pages 163\u2013179. John Wiley, 1990."},{"key":"22_CR7","unstructured":"J A Chattam, R K James, H Patel, D Budgen, A G O'Brian, and M J Looney. MASCOT design support environment \u2014 final report. Technical Report MDSE\/GEN\/FR\/1.1, Alvey Project SE\/044, March 1989."},{"key":"22_CR8","unstructured":"Robert G Clark. The csp\/me too method. Technical Report TR.61, Department of Computing Science, University of Stirling, May 1990."},{"issue":"No.3","key":"22_CR9","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1049\/sej.1990.0020","volume":"5","author":"R. G. Clark","year":"1990","unstructured":"Robert G Clark. \u201cThe Design and Development of Embedded Ada Systems\u201d. Software Engineering Journal, Vol. 5(No. 3): 175\u2013184, 1990.","journal-title":"Software Engineering Journal"},{"key":"22_CR10","unstructured":"N. Cross, editor. Developments in Design Methodology. John Wiley, 1984."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Grant Friel and David Budgen. \u201cDesign Transformation and Abstract Design Prototyping\u201d. Information and Software Technology, November 1991.","DOI":"10.1016\/0950-5849(91)90044-C"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Neil Haddley and Ian Sommerville. Integrated support for systems design. Software Engineering Journal, pages 331\u2013338, 1990.","DOI":"10.1049\/sej.1990.0036"},{"key":"22_CR13","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"SE-6","author":"K.L. Heninger","year":"1980","unstructured":"K.L. Heninger. \u201cSoftware Requirements for Complex Systems: New Techniques and their Applications\u201d. IEEE Transactions on Software Engineering, SE-6:2\u201313, January 1980.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR14","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. International Series in Computing Science. Prentice Hall, 1985."},{"key":"22_CR15","unstructured":"J. Christopher Jones. Design Methods: seeds of human futures. Wiley Interscience, 1970."},{"key":"22_CR16","unstructured":"Lawrence JPeters. Software Design: Methods and Techniques. Yourdon Press, 1981."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Anthony J.Wasserman. \u2018Tool Integration in Software Engineering Environments\u201d. In Fred Long, editor, Software Engineering Environments. Springer Verlag: Lecture Notes in Computer Science No. 467, 1990.","DOI":"10.1007\/3-540-53452-0_38"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"S. Patel, R.A. Orr, M.T. Norris, and D.W. Bustard. \u2018Tools to Support Formal Methods\u201d. In Proceedings of 11th International Conference on Software Engineering. IEEE\/ACM\/CMU,May 1989.","DOI":"10.1145\/74587.74604"},{"issue":"No.3","key":"22_CR19","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1109\/32.21752","volume":"15","author":"R.J.A. Buhr","year":"1989","unstructured":"R.J.A.Buhr, Gerald M.Karam, C.J.Hayes, and C.M.Woodside. \u201cSoftware CAD: A Revolutionary Approach\u201d. IEEE Transactions on Software Engineering, Vol. 15(No. 3):235\u2013249, March 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR20","volume-title":"An experimental designer's workbench. Master's thesis","author":"C. Y. Thed","year":"1991","unstructured":"Cor Yong Thed. An experimental designer's workbench. Master's thesis, Department of Computing Science, University of Stirling, Stirling, Scotland, 1991."},{"key":"22_CR21","unstructured":"KJ. Turner. \u201cTowards better specifications\u201d. ICL Technical Journal, pages 33\u201349, May 1984."},{"key":"22_CR22","unstructured":"Paul T. Ward and Stephen J.Mellor. Structured Development for Real-Time Systems, volume 1: Introduction & Tools. Yourdon Press, 1985."},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"W Visser and J-M Hoc. Expert Software Design Strategies, pages 235\u2013249. Academic Press, 1990.","DOI":"10.1016\/B978-0-12-350772-3.50020-3"},{"issue":"No.2","key":"22_CR24","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/69610.357982","volume":"27","author":"P. Zave","year":"1984","unstructured":"Pamela Zave. \u201cThe Operational Versus the Conventional Approach to Software Development\u201d. Communications of the ACM, Vol. 27(No. 2): 104\u2013118, February 1984.","journal-title":"Communications of the ACM"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:44:06Z","timestamp":1555425846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035143"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783319981765","9783319981772"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0035143","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1992]]}}}