{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:32Z","timestamp":1725562592890},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220114"},{"type":"electronic","value":"9783540248415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24841-5_1","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:28:22Z","timestamp":1281299302000},"page":"1-15","source":"Crossref","is-referenced-by-count":8,"title":["Benefits and Problems of Formal Methods"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/52.391826","volume":"12","author":"J.P. Bowen","year":"1995","unstructured":"Bowen, J.P., Hinchey, M.G.: Seven More Myths of Formal Methods. IEEE Software\u00a012(4), 34\u201341 (1995)","journal-title":"IEEE Software"},{"issue":"4","key":"1_CR2","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"J.P. Bowen","year":"1995","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten Commandments of Formal Methods. IEEE Computer\u00a028(4), 56\u201363 (1995)","journal-title":"IEEE Computer"},{"key":"1_CR3","unstructured":"Bjorner, D.: Formal Methods in the Twentyfirst Century: An Assessment of Today - Predictions for the Future. In: Proc. Int. Conf. Software Engineering, ICSE 1998 (1998), Not included in the official proceedings"},{"key":"1_CR4","unstructured":"Bowen, J.P.: Virtual Library - Formal Methods (2004), \n                    \n                      http:\/\/vl.fmnet.info"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BFb0054990","volume-title":"Reliable Software Technologies - Ada-Europe \u201998","author":"P. Chapront","year":"1998","unstructured":"Chapront, P.: Ada+B: The Formula for Safety Critical Software Development. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol.\u00a01411, pp. 13\u201318. Springer, Heidelberg (1998)"},{"issue":"4","key":"1_CR6","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(4), 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-45136-6_3","volume-title":"Reliable Software Technologies \u2013 Ada Europe 2001","author":"M.-C. Gaudel","year":"2001","unstructured":"Gaudel, M.-C.: Testing from Formal Specifications, a Generic Approach. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol.\u00a02043, pp. 35\u201348. Springer, Heidelberg (2001)"},{"key":"1_CR8","unstructured":"Glass, R.L.: Formal Methods are a Surrogate for a More Serious Software Concern. IEEE Computer, pp. 19\u201319 (April 1996)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-45669-4_6","volume-title":"Object Modeling with the OCL","author":"M. Gogolla","year":"2002","unstructured":"Gogolla, M., Richters, M.: Expressing UML Class Diagrams Properties with OCL. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 86\u2013115. Springer, Heidelberg (2002)"},{"issue":"5","key":"1_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"J. Anthony Hall","year":"1990","unstructured":"Anthony Hall, J.: Seven Myths of Formal Methods. IEEE Software\u00a07(5), 11\u201319 (1990)","journal-title":"IEEE Software"},{"key":"1_CR11","unstructured":"Michael Holloway, C., Butler, R.W.: Impediments to Industrial Use of Formal Methods. IEEE Computer, 25\u201326 (April 1996)"},{"key":"1_CR12","unstructured":"Knight, J.C., DeJong, C.L., Gibble, M.S., Nakano, L.G.: Why Are Formal Methods Not Used More Widely? In: Michael Holloway, C., Hayhurst, K.J. (eds.) 4th NASA Langley Formal Methods Workshop, pp. 1\u201312 (1997), NASA Langley Research Center, Report CP 3356"},{"key":"1_CR13","unstructured":"OMG, editor. OMG Unified Modeling Language Specification, Version 1.5. OMG, March 2003. OMG Document formal\/03-03-01, \n                    \n                      www.omg.org"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-40011-7_19","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"M. Richters","year":"2000","unstructured":"Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 265\u2013277. Springer, Heidelberg (2000)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-45669-4_4","volume-title":"Object Modeling with the OCL","author":"M. Richters","year":"2002","unstructured":"Richters, M., Gogolla, M.: OCL - Syntax, Semantics and Tools. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 43\u201369. Springer, Heidelberg (2002)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/3-540-40911-4_17","volume-title":"Integrated Formal Methods","author":"W. Schulte","year":"2000","unstructured":"Schulte, W.: Why Doesn\u2019t Anyone Use Formal Methods. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 297\u2013298. Springer, Heidelberg (2000)"},{"issue":"4","key":"1_CR17","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/s10270-003-0031-0","volume":"2","author":"A. Toval","year":"2003","unstructured":"Toval, A., Requena, V., Fernandez, J.L.: Emerging OCL Tools. Software and Systems Modeling\u00a02(4), 248\u2013261 (2003)","journal-title":"Software and Systems Modeling"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Reliable Software Technologies \u2013 Ada Europe 2001","author":"A. Lamsweerde van","year":"2001","unstructured":"van Lamsweerde, A.: Building Formal Requirements Models for Reliable Software. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol.\u00a02043, pp. 1\u201320. Springer, Heidelberg (2001)"},{"key":"1_CR19","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24841-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:13:34Z","timestamp":1620011614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24841-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220114","9783540248415"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24841-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}