{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:13:56Z","timestamp":1725635636551},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564645"},{"type":"electronic","value":"9783642780738"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78073-8_12","type":"book-chapter","created":{"date-parts":[[2011,11,19]],"date-time":"2011-11-19T01:04:12Z","timestamp":1321664652000},"page":"139-152","source":"Crossref","is-referenced-by-count":0,"title":["Entwicklung wissensbasierter Systeme auf der Grundlage einer ausf\u00fchrbaren Spezifikation"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Landes","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"L.M. Abra\u00eddo do-Fandifio: An overview of REFINE\u2122. In Proceedings of the 2nd International Symposium on Knowledge Engineering and Software Engineering ( Madrid, Spain, April ), 1987, 77\u201395."},{"key":"12_CR2","unstructured":"]J. Angele, D. Fensel, D. Landes und R. Studer: KARL: An executable language for the conceptual model. In Proceedings of the 6th Knowledge Acquisition for Knowledge-Based Systems Workshop KAW\u201991 (Banff, Canada, October 6\u201311), 1991,1\/1\u20131\/20."},{"key":"12_CR3","volume-title":"Model-based Incremental Knowledge Engineering (MIKE). Forschungsbericht","author":"J Angele","year":"1993","unstructured":"J. Angele, D. Fensel, D. Landes, S. Neubert und R. Studer: Model-based Incremental Knowledge Engineering (MIKE). Forschungsbericht, Institut f\u00fcr Angewandte Informatik und Formale Beschreibungs-verfahren, Universit\u00e4t Karlsruhe, 1993 (in Erscheinung)."},{"key":"12_CR4","unstructured":"J. Angele, D. Fensel und R. Studer: Formalizing and operationalizing models of expertise: a basis for validation. In Proceedings of Artificial Intelligence from the Information Processing Perspective AI- FIPP\u201992 (Madrid, Spain, September 14\u201315 ), 1992."},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MC.1985.1662863","volume":"18","author":"M Alford","year":"1985","unstructured":"M. Alford: SREM at the age of eight; the distributed computing design system. In Computer 18 (4), 1985, 36\u201346.","journal-title":"Computer"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"R. Balzer: Transformational implementation: an example. In IEEE Transactions on Software Enginee-ring SE-7(1), 1981, 3\u201314.","DOI":"10.1109\/TSE.1981.230814"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"R. Balzer: A 15 year perspective on automatic programming. In IEEE Transactions on Software Engi-neering SE-11(11), 1985, 1257\u20131268.","DOI":"10.1109\/TSE.1985.231877"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"I.D. Baxter: Design maintenance systems. In Communications of the ACM 35(4), 1992, 73\u201389.","DOI":"10.1145\/129852.129859"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"R. Balzer, N. Goldman und D. Wile: Operational specification as the basis for rapid prototyping. In ACM SIGSOFT Software Engineering Notes 7(5), 1982, 3\u201316.","DOI":"10.1145\/1006258.1006261"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"B.W. Boehm: A spiral model of software development and enhancement. In ACM SIGSOFT Software Engineering Notes 11(4), 1986, 14\u201324.","DOI":"10.1145\/12944.12948"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"BW Boehm","year":"1988","unstructured":"B.W. Boehm: A spiral model of software development and enhancement. In IEEE Computer 21, May 1988, 61\u201372.","journal-title":"IEEE Computer"},{"key":"12_CR12","volume-title":"Topics in Expert Systems Design","author":"J Breuker","year":"1989","unstructured":"J. Breuker und B. Wielinga: Models of expertise in knowledge acquisition. In Topics in Expert Systems Design, G. Guida und C. Tasso, eds. Elsevier Science Publisher, Amsterdam, 1989."},{"key":"12_CR13","unstructured":"CIP Language Group: The Munich Project CIP - Vol. \/: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer, Berlin, 1985."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"J. Doyle: A truth maintenance system. In Artificial Intelligence 12(3), 1979,231 \u2013272.","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"12_CR15","unstructured":"D. Fensel, J. Angele und D. Landes: KARL: a knowledge acquisition and representation language. In Proceedings of the 11th International Conference on Expert Systems and their Applications, Conference \u201cTools, Techniques & Methods\u201d(Avignon, France, May 27\u201331), 1991, 513\u2013525."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"D. Fensel, J. Angele und R. Studer: Giving Structured Analysis techniques a formal and operational semantics with KARL. In Proceedings of Requirements Engineering RE\u201993 (Bonn, Germany, April 25\u2013 27 ), 1993 (in Erscheinung).","DOI":"10.1007\/978-3-322-94703-1_18"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"M.S. Feather: Language support for the specification and development of composite systems. In ACM Transactions on Programming Languages and Systems 9(2), 1987, 198\u2013234.","DOI":"10.1145\/22719.22947"},{"key":"12_CR18","volume-title":"Approaches to Prototyping","author":"C Floyd","year":"1984","unstructured":"C. Floyd: A systematic look at prototyping. In Approaches to Prototyping, R. Budde et al., eds. Springer, Berlin, 1984."},{"key":"12_CR19","unstructured":"P. de Greef, J. Breuker und T. de Jong: Modality - an analysis of functions, user control and communication in knowledge based systems. Forschungsbericht UvA-A4-PR-004, ESPRIT Project P1098, Universit\u00e4t Amsterdam, 1988."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"P. de Greef und J. Breuker: Analysing system-user cooperation in KADS. In Knowledge Acquisition 4(1), 1992, 89\u2013108.","DOI":"10.1016\/1042-8143(92)90015-S"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"F. van Harmelen und J. Balder: (ML)2: a formal language for KADS conceptual models. In Knowledge Acquisition 4(1), 1992, 127\u2013161.","DOI":"10.1016\/1042-8143(92)90017-U"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"U. Hoppe und S. Neubert: Using hypermedia for integrating mediating representations in the model-based knowledge engineering. In Proceedings of the Workshop on Knowledge Representation Aspects of Knowledge Acquisition, AAAI\u201992 (San Jose, California, USA, July 12\u201316 ), 1992.","DOI":"10.1007\/3-540-55546-3_43"},{"key":"12_CR23","unstructured":"W. Karbach und A. Vo\u00df: MODEL-K for prototyping and strategic reasoning at the knowledge level. In Second Generation Expert Systems, J.M. David, J.S. Krivine und R. Simmons, eds. (in Erscheinung)."},{"key":"12_CR24","unstructured":"W. Karbach, A. Vo\u00df, R. Schuckey und U. Drouven: MODEL-K: Prototyping at the knowledge level. In Proceedings of the 11th International Conference on Expert Systems and their Applications, Conference \u201cTools, Techniques & Methods\u201d (Avignon, France, May 27\u201331), 1991, 501\u2013511."},{"key":"12_CR25","volume-title":"Wissensbasierte Auswahl von Optimierungsverfahren. Diplomarbeit","author":"R K\u00f6ppen","year":"1992","unstructured":"R. K\u00f6ppen: Wissensbasierte Auswahl von Optimierungsverfahren. Diplomarbeit, Institut f\u00fcr Ange-wandte Informatik und Formale Beschreibungsverfahren, Universit\u00e4t Karlsruhe, 1992."},{"key":"12_CR26","unstructured":"D. Landes: Structuring the description of models of expertise. Forschungsbericht, Institut f\u00fcr Angewandte Informatik und Formale Beschreibungsverfahren, Universit\u00e4t Karlsruhe (in Erscheinung)."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"J. Lee: Extending the Potts and Bruns model for recording design rationale. In Proceedings of the 13 th International Conference on Software Engineering (Austin, Texas, May 13\u201317), 1991, 114\u2013125.","DOI":"10.1109\/ICSE.1991.130629"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"J. Mylopoulos, L. Chung und B. Nixon: Representing and using non-fiinctional requirements: a process- oriented approach. In IEEE Transactions on Software Engineering 18(6), 1992, 483\u2013497.","DOI":"10.1109\/32.142871"},{"key":"12_CR29","volume-title":"Knowledge Representation and Organisation in Machine Learning","author":"K Morik","year":"1987","unstructured":"K. Morik: Sloppy modeling. In Knowledge Representation and Organisation in Machine Learning, K. Morik, ed. Springer, Berlin, 1987."},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"K. Morik: Underlying assumptions of knowledge acquisition and machine learning. In Knowledge Acquisition 3(2), 1991, 137\u2013156.","DOI":"10.1016\/1042-8143(91)90002-5"},{"key":"12_CR31","volume-title":"Composite\/Structured Design","author":"GJ Myers","year":"1978","unstructured":"G.J. Myers: Composite\/Structured Design. Van Nostrand Reinhold, New York, 1978."},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"S. Neubert und A. Oberweis: Einsatzm\u00f6glichkeiten von Hypertext beim Software Engineering und Knowledge Engineering. In Proceedings Hypertext & Hypermedia (Munich, Germany, September 15\u2013 17 ), 1992.","DOI":"10.1007\/978-3-642-77822-3_14"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"S. Neubert und R. Studer: The KEEP model \u2014 a knowledge engineering process model. In Proceedings of the 6th European Knowledge Acquisition Workshop EKAW\u201992 (Heidelberg\/Kaiserslautern, Germany, May 18\u201322 ), Springer, Berlin, 1992, 230\u2013249.","DOI":"10.1007\/3-540-55546-3_43"},{"key":"12_CR34","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A Newell","year":"1982","unstructured":"A. Newell: The knowledge level. In Artificial Intelligence 18, 1982, 87\u2013127.","journal-title":"Artificial Intelligence"},{"key":"12_CR35","volume-title":"Artificial Intelligence: Applications in the Future of Software Engineering","author":"D Partridge","year":"1986","unstructured":"D. Partridge: Artificial Intelligence: Applications in the Future of Software Engineering. Ellis Horwood, Chichester, 1986."},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"C. Potts und G. Bruns: Recording the reasons for design decisions. In Proceedings of the 10th International Conference on Software Engineering (Singapore, April 11\u201315), 1988, 418\u2013427","DOI":"10.1109\/ICSE.1988.93722"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"F. Puppe: Probleml\u00f6sungsmethoden in Expertensystemen. Springer, Berlin, 1990.","DOI":"10.1007\/978-3-642-76133-1"},{"key":"12_CR38","unstructured":"W.W. Royce: Managing the development of large software systems: concepts and techniques. In Proceedings WESCON, August 1970."},{"key":"12_CR39","volume-title":"Universit\u00e4t Amsterdam","author":"G Schreiber","year":"1987","unstructured":"G. Schreiber, B. Bredeweg, M. Davoodi und B. Wielinga: Towards a design methodology for kbs. Forschungsbericht UvA\/STC-B2-PR-001, ESPRIT Project P1098, Universit\u00e4t Amsterdam, 1987."},{"key":"12_CR40","unstructured":"G. Schreiber, ed.: A KADS approach to kbs design. Forschungsbericht UvA-B6-PR-010, ESPRIT Project P1098, Universit\u00e4t Amsterdam, 1989."},{"key":"12_CR41","unstructured":"G. Schreiber, R. de Hoog, B. Wielinga, C. Bright, R. Martil und R. Taylor: Product and process view on KBS development. Forschungsbericht KADS-II\/T5.3\/PP\/UvA\/015\/1.0, ESPRIT Project P5248, Universit\u00e4t Amsterdam, 1991."},{"key":"12_CR42","doi-asserted-by":"crossref","unstructured":"D.R. Smith, G.B. Kotik und S.J. Westfold: Research on knowledge-based software environments at Kestrel Institute, In IEEE Transactions on Software Engineering SE-11(11), 1985, 1278\u20131295.","DOI":"10.1109\/TSE.1985.231879"},{"issue":"9","key":"12_CR43","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"DR Smith","year":"1990","unstructured":"D.R. Smith: KIDS: a semiautomatic program development system. In IEEE Transactions on Software Engineering 16 (9), 1990, 1024\u20131043.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR44","doi-asserted-by":"crossref","unstructured":"W. Swartout und R. Balzer: On the inevitable intertwining of specification and implementation. In Communications of the ACM 25(7), 1982, 438\u2013440.","DOI":"10.1145\/358557.358572"},{"key":"12_CR45","unstructured":"G. Schreiber, B. Wielinga, P. Hesketh und A. Lewis: A KADS design description language. Forschungsbericht UvA-B7-PR-006, ESPRIT Project P1098, Universit\u00e4t Amsterdam, 1990."},{"issue":"1","key":"12_CR46","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/1042-8143(92)90013-Q","volume":"4","author":"BJ Wielinga","year":"1992","unstructured":"B.J. Wielinga, A.Th. Schreiber und J.A. Breuker: KADS: a modelling approach to knowledge engineering. In Knowledge Acquisition, 4 (1), 1992, 5\u201353.","journal-title":"Knowledge Acquisition"},{"key":"12_CR47","volume-title":"Structured Design","author":"E Yourdon","year":"1978","unstructured":"E. Yourdon und L. Constantine: Structured Design. Yourdon Press, New York, 1978."},{"key":"12_CR48","volume-title":"Modern Structured Analysis","author":"E Yourdon","year":"1989","unstructured":"E. Yourdon: Modern Structured Analysis. Prentice Hall, Englewood Cliffs, 1989."},{"key":"12_CR49","doi-asserted-by":"crossref","unstructured":"P. Zave und W. Schell: Salient features of an executable specification language and its environment. In IEEE Transactions on Software Engineering SE-12(2), 1986, 312\u2013325.","DOI":"10.1109\/TSE.1986.6312946"},{"key":"12_CR50","doi-asserted-by":"crossref","unstructured":"P. Zave: An operational approach to requirements specification for embedded systems. In IEEE Transactions on Software Engineering SE-8(3), 1982, 250\u2013269.","DOI":"10.1109\/TSE.1982.235254"},{"key":"12_CR51","doi-asserted-by":"crossref","unstructured":"P. Zave: The operational versus the conventional approach to software development. In Communications of the ACM 27(2), 1984, 104\u2013118.","DOI":"10.1145\/69610.357982"},{"key":"12_CR52","doi-asserted-by":"crossref","unstructured":"P. Zave: An insider\u2019s evaluation of PAISLey. In IEEE Transactions on Software Engineering 17(3), 1991, 212\u2013225.","DOI":"10.1109\/32.75412"}],"container-title":["Informatik aktuell","Expertensysteme 93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78073-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T04:31:16Z","timestamp":1639715476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78073-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564645","9783642780738"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78073-8_12","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}