{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:58:22Z","timestamp":1760425102799},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-58113-8_182","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:15:55Z","timestamp":1330251355000},"page":"353-366","source":"Crossref","is-referenced-by-count":9,"title":["Specifying software specification & design methods"],"prefix":"10.1007","author":[{"given":"Motoshi","family":"Saeki","sequence":"first","affiliation":[]},{"given":"Kuo","family":"Wenyin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-54194-2_27","volume":"509","author":"A. Alderson","year":"1992","unstructured":"A. Alderson. Meta-CASE Technology. In Lecture Notes in Computer Science 509, pages 81\u201391, 1992.","journal-title":"Lecture Notes in Computer Science"},{"key":"27_CR2","unstructured":"S. Brinkkemper. Formalisation of Information Systems Modelling. Thesis Publisher, 1990."},{"issue":"2","key":"27_CR3","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0950-5849(05)80004-7","volume":"35","author":"S. Brinkkemper","year":"1993","unstructured":"S. Brinkkemper. Integrating Diagrams in CASE Tools through Modelling Transparency. Information and Software Technology, 35(2):101\u2013105, 1993.","journal-title":"Information and Software Technology"},{"key":"27_CR4","first-page":"525","volume":"593","author":"M. Brough","year":"1992","unstructured":"M. Brough. Methods for CASE: a Generic Framework. In Proc. of 4th International Conference CAiSE92, LNCS 593, pages 525\u2013545, 1992.","journal-title":"Proc. of 4th International Conference CAiSE92, LNCS"},{"key":"27_CR5","unstructured":"T. DeMarco. Structured Analysis and System Specification. Yourdon Press, 1978."},{"key":"27_CR6","unstructured":"R. Duke, P. King, R. Rose, and G. Smith. The Object-Z Specification Language. Technical Report 91-1, Software Verification Center, University of Queensland, 1991."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"A.K. Jordan and A.M. Davis. Requirements Engineering Metamodel: An Integrated View of Requirements. In Proc. of 15th COMPSAC, pages 472\u2013478, 1991.","DOI":"10.1109\/CMPSAC.1991.170224"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"T. Katayama. A Hierarchical and Functional Software Process Description and its Enaction. In Proc. of the 11th ICSE, pages 343\u2013352, 1989.","DOI":"10.1145\/74587.74632"},{"key":"27_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"D.E. Knuth. Semantics of Context-free Languages. Mathematical Systems Theory, 2:127\u2013145, 1968.","journal-title":"Mathematical Systems Theory"},{"key":"27_CR10","unstructured":"K. Kronl\u00f6f, editor. Method Integration \u2014 Concepts and Case Studies. Wiley, 1993."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"M. Saeki, K. Iguchi, K. Wen-yin, and M. Shinohara. A Meta-Model for Representing Software Specification & Design Methods. In Information System Development Process, pages 149\u2013166. North-Holland, 1993.","DOI":"10.1016\/B978-0-444-81594-1.50015-5"},{"issue":"5","key":"27_CR12","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/71633.71639","volume":"14","author":"S. Shlaer","year":"1989","unstructured":"S. Shlaer and S.J. Mellor. An Object-Oriented Approach to Domain Analysis. ACM SIGSOFT Software Engineering Notes, 14(5):66\u201377, 1989.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"K. Slooten and S. Brinkkemper. A Method Engineering Approach to Information Systems Development. In Information System, Development Process, pages 167\u2013186. North-Holland, 1993.","DOI":"10.1016\/B978-0-444-81594-1.50016-7"},{"key":"27_CR14","first-page":"168","volume":"498","author":"K. Smolander","year":"1991","unstructured":"K. Smolander, K. Lyytinen, V.P. Tahvanainen, and P. Marttiin. MetaEdit \u2014 A Flexible Graphical Environment for Methodology Modelling. In Proc. of 3rd International Conference CAiSE91, LNCS 498, pages 168\u2013193, 1991.","journal-title":"Proc. of 3rd International Conference CAiSE91, LNCS"},{"issue":"5","key":"27_CR15","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/52.2008","volume":"2","author":"P. Sorenson","year":"1988","unstructured":"P. Sorenson, J. Tremblay, and A. McAllister. The Metaview System for Many Specification Environments. IEEE Software, 2(5):30\u201338, 1988.","journal-title":"IEEE Software"},{"key":"27_CR16","unstructured":"J.M. Spivey. The Z Notation \u2014 A Reference Manual. Prentice Hall, 1987."}],"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\/3-540-58113-8_182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T08:15:14Z","timestamp":1561364114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58113-8_182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783319981765","9783319981772"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58113-8_182","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1994]]}}}