乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:57Z","timestamp":1725557877791},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_4","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"82-117","source":"Crossref","is-referenced-by-count":9,"title":["MultiMedia Instruction in Safe and Secure Systems"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]},{"given":"Dieter","family":"Hutter","sequence":"additional","affiliation":[]},{"given":"Arne","family":"Lindow","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"L\u00fcth","sequence":"additional","affiliation":[]},{"given":"Achim","family":"Mahnke","sequence":"additional","affiliation":[]},{"given":"Erica","family":"Melis","sequence":"additional","affiliation":[]},{"given":"Philipp","family":"Meier","sequence":"additional","affiliation":[]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[]},{"given":"George","family":"Russell","sequence":"additional","affiliation":[]},{"given":"Jan-Georg","family":"Smaus","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Computing Classification System [1998 Version], http:\/\/www.acm.org\/class\/"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E. Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Krieg-Br\u00fcckner, B., Kirchner, H., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl \u2013 the common algebraic specification language. Theoretical Computer Science\u00a0286, 153\u2013196 (2002)","journal-title":"Theoretical Computer Science"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Reggio, G.: Formalism and method. Theoretical Computer Science\u00a0236(1\u20132) (2000)","DOI":"10.1016\/S0304-3975(99)00205-4"},{"key":"4_CR4","unstructured":"b-novative GmbH. davinci presenter web site, http:\/\/www.b-novative.com\/products\/daVinci\/"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45441-1_26","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"K. Baclawski","year":"2001","unstructured":"Baclawski, K., Kokar, M.K., Kogut, P.A., Hart, L., Smith, J., Holmes III, W.S., Letkowski, J., Aronson, M.L.: Extending UML to support ontology engineering for the semantic Web. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 342\u2013360. Springer, Heidelberg (2001)"},{"key":"4_CR6","unstructured":"Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl semantics. In: Mosses, P.D. (ed.) Casl Reference Manual. [19], Part III"},{"key":"4_CR7","unstructured":"Brunsmann, J., Homrighausen, A., Six, H.-W., Voss, J.: Assignments in a virtual university - the webassign-system. In: Proceedings of the 19th World Conference on Open Learning and Distance Education, Vienna\/Austria (June 1999)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys\u00a028, 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"key":"4_CR9","unstructured":"Fr\u00f6hlich, M.: Inkrementelles Graphlayout im Visualisierungssystem daVinci. PhD thesis, Dissertation, Universit\u00e4t Bremen (1998)"},{"key":"4_CR10","unstructured":"Guntermann, K., Spannagel, C.: PPower4 Manual. TU Darmstadt (2002)"},{"key":"4_CR11","unstructured":"Haskell web site, http:\/\/www.haskell.org\/"},{"key":"4_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-44990-6_3","volume-title":"Artificial Intelligence and Symbolic Computation","author":"M. Kohlhase","year":"2001","unstructured":"Kohlhase, M.: OMDoc: Towards an internet standard for mathematical knowledge. In: Campbell, J., Roanes-Lozano, E. (eds.) AISC 2000. LNCS (LNAI), vol.\u00a01930, p. 32. Springer, Heidelberg (2001), See also http:\/\/www.mathweb.org\/omdoc"},{"key":"4_CR13","unstructured":"CoFILanguage Design Group, Krieg-Br\u00fcckner, B., Mosses, P.D. (eds.): Casl summary. In: Mosses, P.D. (ed.) Casl Reference Manual. [19], Part I"},{"key":"4_CR14","unstructured":"Melis, E., Andres, E., Goguadse, G., Libbrecht, P., Pollet, M., Ullrich, C.: Activemath: System description (2001)"},{"key":"4_CR15","first-page":"12","volume":"1","author":"E. Melis","year":"2003","unstructured":"Melis, E., Ullrich, C., Goguadse, G., Libbrecht, P.: Wissensmodellierung und -nutzung in ActiveMath. KI\u00a01, 12\u201318 (2003)","journal-title":"KI"},{"key":"4_CR16","unstructured":"MMiSS web site, http:\/\/www.mmiss.de"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46419-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2000","unstructured":"Mossakowski, T.: Casl: From semantics to tools. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 93\u2013108. Springer, Heidelberg (2000)"},{"key":"4_CR18","unstructured":"Mosses, P.D., Bidoit, M.: Casl \u2014 the common algebraic specification language: User Manual. LNCS. Springer, Heidelberg (to appear)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004) (to appear)"},{"key":"4_CR20","unstructured":"OmDoc, http:\/\/www.openmath.org"},{"key":"4_CR21","volume-title":"Tcl and the Tk Toolkit","author":"J.K. Ousterhout","year":"1994","unstructured":"Ousterhout, J.K.: Tcl and the Tk Toolkit. Addison-Wesley, Reading (1994)"},{"key":"4_CR22","volume-title":"The theory and practice of concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The theory and practice of concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"4_CR23","unstructured":"Russel, G., L\u00fcth, C.: Htk \u2014 graphical user interfaces for haskell programs, http:\/\/www.informatik.uni-bremen.de\/htk\/"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-45719-4_34","volume-title":"Algebraic Methodology and Software Technology","author":"S. Autexier","year":"2002","unstructured":"Autexier, S., Hutter, D., Mossakowski, T., Schairer, A.: The development graph manager MAYA (system description). In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 495\u2013502. Springer, Heidelberg (2002)"},{"key":"4_CR25","unstructured":"Sleepycat Software. Berkeley DB, http:\/\/www.sleepycat.com\/"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: Concepts and design. International Journal on Software Tools for Technology Transfer (STTT)\u00a01, 9\u201330 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"4_CR27","unstructured":"The Dublin Core Metadata Initiative. Dublin core metadata initiative - home page (1998), http:\/\/purl.org\/DC\/"},{"key":"4_CR28","first-page":"148","volume-title":"International Conference on Functional Programming ICFP 1999","author":"M. Wallace","year":"1999","unstructured":"Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or type-based translation? In: International Conference on Functional Programming ICFP 1999, pp. 148\u2013159. ACM Press, New York (1999)"},{"key":"4_CR29","unstructured":"Xemacs web site, http:\/\/www.xemacs.org\/"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:54:29Z","timestamp":1559199269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}