{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:05:37Z","timestamp":1743015937236,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319014173"},{"type":"electronic","value":"9783319014180"}],"license":[{"start":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T00:00:00Z","timestamp":1376438400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T00:00:00Z","timestamp":1376438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-01418-0_3","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T10:39:50Z","timestamp":1379500790000},"page":"37-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Specification Level"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Drechsler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,14]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","volume":"58","author":"A. Biere","year":"2003","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117\u2013148 (2003)","journal-title":"Adv. Comput."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: IEEE International Conference on Software Testing Verification and Validation Workshop, Lillehammer, pp. 73\u201380 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-00255-7_4","volume-title":"Integrated Formal Methods. Lecture Notes in Computer Science","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verifying UML\/OCL operation contracts. In: Leuschel, M., Wehrheim, H. (eds.) Integrated Formal Methods. Lecture Notes in Computer Science, vol. 5423, pp. 40\u201355. Springer, Berlin\/New York (2009)"},{"key":"3_CR4","volume-title":"Syntax: A Generative Introduction","author":"A. Carnie","year":"2007","unstructured":"Carnie, A.: Syntax: A Generative Introduction. Blackwell, Malden (2007)"},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N. Chomsky","year":"1956","unstructured":"Chomsky, N.: Three models for the description of language. IRE Trans. Inf. Theory 2(3), 113\u2013124 (1956)","journal-title":"IRE Trans. Inf. Theory"},{"key":"3_CR6","volume-title":"Model Checking","author":"E.M. Clarke Jr","year":"1999","unstructured":"Clarke, E.M., Jr., Grumberg, O., Peled, D.A.: Model Checking. MIT, Cambridge (1999)"},{"key":"3_CR7","unstructured":"de\u00a0Marneffe, M.C., MacCartney, B., Manning, C.D.: Generating typed dependency parses from phrase structure parses. In: Conference on Language Resources and Evaluation, Genoa, pp. 449\u2013454 (2006)"},{"key":"3_CR8","volume-title":"Behavior driven development for circuit design and verification","author":"M. Diepenbeck","year":"2012","unstructured":"Diepenbeck, M., Soeken, M., Gro\u00dfe, D., Drechsler, R.: Behavior driven development for circuit design and verification. In: IEEE International High Level Design Validation and Test Workshop, Huntington Beach (2012)"},{"key":"3_CR9","volume-title":"Quality-driven design of embedded systems based on specification in natural language","author":"R. Drechsler","year":"2011","unstructured":"Drechsler, R.: Quality-driven design of embedded systems based on specification in natural language. In: EUROMICRO Symposium on Digital System Design, Oulu (2011)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Drechsler, R., Diepenbeck, M., Gro\u00dfe, D., K\u00fchne, U., Le, H.M., Seiter, J., Soeken, M., Wille, R.: Completeness-driven development. In: ICGT, Bremen, pp. 38\u201350 (2012)","DOI":"10.1007\/978-3-642-33654-6_3"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, independence and consequences in UML and OCL models. In: Tests and Proofs, pp. 90\u2013104. Springer, Berlin\/New York (2009)","DOI":"10.1007\/978-3-642-02949-3_8"},{"key":"3_CR12","volume-title":"Quality-Driven SystemC Design","author":"D. Gro\u00dfe","year":"2009","unstructured":"Gro\u00dfe, D., Drechsler, R.: Quality-Driven SystemC Design. Springer, Dordrecht\/Heidelberg\/London\/New York (2009)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Harris, I.G.: Extracting design information from natural language specifications. In: Design Automation Conference, San Francisco, pp. 1256\u20131257 (2012)","DOI":"10.1145\/2228360.2228591"},{"key":"3_CR14","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT, Cambridge (2006)"},{"key":"3_CR15","volume-title":"Speech and Language Processing","author":"D. Jurafsky","year":"2008","unstructured":"Jurafsky, D., Martin, J.H.: Speech and Language Processing. Pearson Prentice Hall, Upper Saddle River (2008)"},{"key":"3_CR16","volume-title":"lips: An IDE for model driven engineering based on natural language processing","author":"O. Keszocze","year":"2013","unstructured":"Keszocze, O., Soeken, M., Kuksa, E., Drechsler, R.: lips: An IDE for model driven engineering based on natural language processing. In: Workshop on Natural Language Analysis in Software Engineering, San Francisco (2013)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1023\/A:1002693207386","volume":"34","author":"A. Kilgarriff","year":"2000","unstructured":"Kilgarriff, A., Rosenzweig, J.: Framework and results for english SENSEVAL. Comput. Humanit. 34, 15\u201348 (2000)","journal-title":"Comput. Humanit."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Klein, D., Manning, C.D.: Accurate unlexicalized parsing. In: Annual Meeting of the Association for Computational Linguistics, Sapporo, pp. 423\u2013430 (2003)","DOI":"10.3115\/1075096.1075150"},{"key":"3_CR19","volume-title":"From requirements and scenarios to ESL design in systemC","author":"H.M. Le","year":"2012","unstructured":"Le, H.M., Gro\u00dfe, D., Drechsler, R.: From requirements and scenarios to ESL design in systemC. In: International Symposium on Electronic System Design, Kolkata (2012)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Meyer, B., Nerson, J.M., Matsuo, M.: EIFFEL: object-oriented design for software engineering. In: Nichols, H.K., Simpson, D. (eds.) European Software Engineering Conference, Strasbourg. Lecture Notes in Computer Science, vol. 289, pp. 221\u2013229. Springer (1987)","DOI":"10.1007\/BFb0022115"},{"issue":"11","key":"3_CR21","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"G.A. Miller","year":"1995","unstructured":"Miller, G.A.: WordNet: a lexical database for English. Commun. ACM 38(11), 39\u201341 (1995)","journal-title":"Commun. ACM"},{"key":"3_CR22","unstructured":"North, D.: Behavior modification: the evolution of behavior-driven development. Better Softw. 8(3) (2006)"},{"key":"3_CR23","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley Longman, Essex (1999)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML\/OCL models using Boolean satisfiability. In: Design, Automation and Test in Europe, Dresden, pp. 1341\u20131344 (2010)","DOI":"10.1109\/DATE.2010.5457017"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Verifying dynamic aspects of UML models. In: Design, Automation and Test in Europe, Grenoble, pp. 1077\u20131082 (2011)","DOI":"10.1109\/DATE.2011.5763177"},{"key":"3_CR26","volume-title":"Assisted behavior driven development using natural language processing","author":"M. Soeken","year":"2012","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Assisted behavior driven development using natural language processing. In: International Conference on Objects, Models, Components, Patterns, Prague (2012)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Eliminating invariants in UML\/OCL models. In: Design, Automation and Test in Europe, Dresden, pp. 1142\u20131145 (2012)","DOI":"10.1109\/DATE.2012.6176669"},{"key":"3_CR28","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Longman, Boston (1999)"},{"key":"3_CR29","volume-title":"Systems Engineering with SysML\/UML: Modeling, Analysis","author":"T. Weilkiens","year":"2008","unstructured":"Weilkiens, T.: Systems Engineering with SysML\/UML: Modeling, Analysis, Design. Morgan Kaufmann, San Francisco (2008)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Wille, R., Soeken, M., Drechsler, R.: Debugging of inconsistent UML\/OCL models. In: Design, Automation and Test in Europe, Dresden, pp. 1078\u20131083 (2012)","DOI":"10.1109\/DATE.2012.6176655"}],"container-title":["Lecture Notes in Electrical Engineering","Models, Methods, and Tools for Complex Chip Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01418-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T17:09:46Z","timestamp":1676826586000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-01418-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,14]]},"ISBN":["9783319014173","9783319014180"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01418-0_3","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2013,8,14]]},"assertion":[{"value":"14 August 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}