{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:09Z","timestamp":1742600409319,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603641"},{"type":"electronic","value":"9783540450528"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60364-6_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:20:29Z","timestamp":1330280429000},"page":"211-225","source":"Crossref","is-referenced-by-count":0,"title":["Case-based support for the design of dynamic system requirements"],"prefix":"10.1007","author":[{"given":"Peter J.","family":"Funk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"no.1","key":"16_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/AIC-1994-7104","volume":"7","author":"A. Aamodt","year":"1994","unstructured":"A. Aamodt, E. Plaza, Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. AI Communications, vol. 7 no. 1, 39\u201359, 1994.","journal-title":"AI Communications"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"T. Bardasz, I. Zeid, Dejavu: A Case-Based Reasoning Designer's Assistant Shell. Artificial Intelligence in Design '92, J.S. Gero (ed.), Kluwer Academic Publishers 477\u2013496, 1992.","DOI":"10.1007\/978-94-011-2787-5_24"},{"key":"16_CR3","unstructured":"R. Brandau, A. Lemmon, C. Lafond, Experience with Extended Episodes: Cases with Complex Temporal Structure. Workshop on case-based reasoning, Morgan Kaufmann, 1\u201312, 1991."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"A. Bundy: Tutorial notes: reasoning about logic programs. Second International Logic Programming Summer School, LPSS '92. Proceedings, G. Comyn, N.E. Fuchs, & M.J. Ratcliffe (eds.), Springer-Verlag, 232\u2013277, 1992.","DOI":"10.1007\/3-540-55930-2_18"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"H. Dalianis: Aggregation in the NL-generator of the Visual and Natural Language Specification Tool. The Sixth International Conference of the European Chapter of the Association for Computational Linguistics, EACL-95, Dublin, Ireland, 1995.","DOI":"10.3115\/976973.977017"},{"key":"16_CR6","unstructured":"E. Davis: Representations of Commonsense Knowledge, chapters 2 and 3. Morgan Kaufmann, 1990."},{"key":"16_CR7","unstructured":"J.-P. Echarti, G. St\u00e5lmarck: A logical framework for specifying discrete dynamic systems. Technical Report, Ellemtel Telecommunication Systems Laboratories, 1988."},{"key":"16_CR8","unstructured":"M. Engstedt: A Flexible Specification Language using Natural Language and Graphics. MSc thesis, University of Edinburgh, 1991."},{"key":"16_CR9","unstructured":"N. Fuchs, R. Schwitter, Specifying Logic Programs in Controlled Natural Language. Workshop on Computational Logic for Natural Language Processing, Edinburgh, 1995."},{"key":"16_CR10","unstructured":"P.J. Funk: Development and Maintenance of Large Formal Specifications Supported by Case-Based Reasoning. Technical Report TP026. University of Edinburgh, 1993."},{"key":"16_CR11","unstructured":"P.J. Funk, D. Robertson: Requirements Specification of Telecommunication Services Assisted by Case-Based Reasoning. The 2nd International Conference on Telecommunication Systems, Modelling and Analysis, Nashville, 160\u2013169, 1994."},{"key":"16_CR12","unstructured":"P.J. Funk, S. Raichman, ROS, an Implementation Independent Specification for ISDN. Technical Report, Ellemtel Telecommunication Systems Laboratories, 1990."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"M. Gelfond, V. Lifschitz: Representing action and change by logic programs. Logic Programming, 301\u2013321, 1993.","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"16_CR14","unstructured":"A.K. Goel, Representation of Design Functions in Experience-Based Design. Intelligent Computer Aided Design, Elsevier Science Publishers, 283\u2013303, 1992."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"A. Hall: Seven Myths of Formal Methods. IEEE Software, September, 11\u201318, 1990.","DOI":"10.1109\/52.57887"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/64.223994","volume":"8","author":"W.L. Johnson","year":"1993","unstructured":"W.L. Johnson, K.M Brenner, Developing Formal Specifications from Informal Requirements. IEEE Expert, vol. 8, no. 4, 1993.","journal-title":"IEEE Expert"},{"key":"16_CR17","unstructured":"V.E. Kelly, U. Nonnenmann: Reducing the Complexity of Formal Specification Acquisition. Automating Software Design, M. Lowry, & R. McCartney (eds.), 41\u201364, 1991."},{"key":"16_CR18","unstructured":"S. Klusener, B. Vlijmen, A. Waveren: Service Independent Building Blocks-I; Concepts, Examples and Formal Specifications. Technical Report P9310, University of Amsterdam, 1993."},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"J.L. Kolodner: Case-Based Reasoning. Morgan Kaufmann (1993).","DOI":"10.1016\/B978-1-55860-237-3.50005-4"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"N.A.M. Maiden, A.G. Sutcliffe, Requirements Engineering by Example: an Empirical Study. Proceedings of IEEE International Symposium on Requirements Engineering, 104\u2013111, 1995.","DOI":"10.1109\/ISRE.1993.324828"},{"issue":"no.4","key":"16_CR21","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0954-1810(89)90014-9","volume":"4","author":"J. Mostow","year":"1989","unstructured":"J. Mostow, M. Barley, T. Weinrich, Automated reuse of design plans. Artificial Intelligence in Engineering, vol. 4, no. 4, 181\u2013196, 1989.","journal-title":"Artificial Intelligence in Engineering"},{"key":"16_CR22","unstructured":"K. Nakata: Behavioural Specification with Nonmonotonic Temporal Logic. D. Finn (ed.), Preliminary Stages of Engineering Analysis and Modelling Workshop, AID '92, 41\u201345, 1992."},{"issue":"no.2","key":"16_CR23","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0019-0578(92)90037-J","volume":"31","author":"Y. Nakatani","year":"1992","unstructured":"Y. Nakatani, M. Tsukiyama, T. Fukuda, Engineering Design Support Framework by Case-Based Reasoning. ISA Transaction, vol. 31, no. 2, 235\u2013180, 1992.","journal-title":"ISA Transaction"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"U. Nonnenmann, J.K. Eddy, KITSS \u2014 A functional Software Testing System Using a Hybrid Domain Model. IEEE, 136\u2013142, 1992.","DOI":"10.1109\/CAIA.1992.200021"},{"key":"16_CR25","unstructured":"S. Preifelt, M. Engstedt, Results from the VINST Project (In Swedish). Technical Report, Ellemtel Telecommunication Systems Laboratories, 1992."},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"B. Smyth, M.T. Keane: Retrieving Adaptable Cases. In: S. Wess, K.-D. Althoff, & M.M. Richter (eds.), Topics in Case-Based Reasoning, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58330-0_88"},{"issue":"no.2","key":"16_CR27","first-page":"167","volume":"4","author":"K. Sycara","year":"1992","unstructured":"K. Sycara, D. Navinchandra, R. Guttal, J. Koning, S. Narasimhan, CADET: A Case-Based Synthesis Tool for Engineering Design. International Journal of Expert Systems, vol. 4, no. 2, 167\u2013188, 1992.","journal-title":"International Journal of Expert Systems"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"P. Zave, Feature Interactions and Formal Specifications in Telecommunications. Computer, vol. 26, no. 8, 1993.","DOI":"10.1109\/2.223539"}],"container-title":["Lecture Notes in Computer Science","Advances in Case-Based Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60364-6_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:01:10Z","timestamp":1742598070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60364-6_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603641","9783540450528"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-60364-6_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}