{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:40:38Z","timestamp":1725586838015},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642216510"},{"type":"electronic","value":"9783642216527"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21652-7_12","type":"book-chapter","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T20:09:57Z","timestamp":1308341397000},"page":"193-208","source":"Crossref","is-referenced-by-count":3,"title":["Extensible and Automated Model-Evaluations with INProVE"],"prefix":"10.1007","author":[{"given":"S\u00f6ren","family":"Kemmann","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Kuhn","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Trapp","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"12_CR1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.5381\/jot.2005.4.9.a1","volume":"4","author":"M. Genero","year":"2005","unstructured":"Genero, M., Piattini, M., Calero, C.: A Survey of Metrics for UML Class Diagrams. Journal of Object Technology\u00a04(9), 59\u201392 (2005)","journal-title":"Journal of Object Technology"},{"key":"12_CR2","unstructured":"The ISO\/IEC. Software Engineering: Software Product Quality Requirements and Evaluation (SQuaRE) - Guide to SQuaRE. Standard document 25000:2005 (2005)"},{"key":"12_CR3","unstructured":"The ISO\/IEC. Software engineering Product quality, part 1. Standard document 9126-1 (2001)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Kazman, R., Klein, M., Clemens, P.: ATAM: Method for Architecture Evaluation. CMU\/SEI Technical Report ESC-TR-2000-004 (2000)","DOI":"10.21236\/ADA382629"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"SE-2","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J.: A Complexity measure. IEEE Transactions on Software Engineering\u00a0SE-2, 308\u2013320 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR6","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"key":"12_CR7","unstructured":"Marticorena, R., L\u00f3pez, C., Crespo, Y.: Extending a Taxonomy of Bad Code Smells with Metrics. WOOR (2006)"},{"key":"12_CR8","unstructured":"The Mathworks. Control Algorithm Modeling Guidelines Using Matlab, Simulink, and Stateflow; The MathWorks, http:\/\/www.mathworks.com\/industries\/auto\/maab.html (last time visited: September 2009)"},{"key":"12_CR9","unstructured":"The Mathworks. Simulink Model Advisor (part of Simulink), The MathWorks, http:\/\/www.mathworks.com\/products\/simulink (last time visited: 2010)"},{"key":"12_CR10","unstructured":"Ricardo Inc., http:\/\/www.ricardo.com\/engineeringservices\/controlelectronics.aspx?page=mint (last time visited: 2010)"},{"key":"12_CR11","unstructured":"St\u00fcrmer, I., D\u00f6rr, H., Giese, H., Kelter, U., Sch\u00fcrr, A., Z\u00fcndorf, A.: Das MATE Projekt - Visuelle Spezifikation von MATLAB\/Simulink\/Stateflow Analysen und Transformationen. Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme (2007)"},{"key":"12_CR12","unstructured":"The Attributed Graph Grammar System, http:\/\/tfs.cs.tu-berlin.de\/agg\/ (last time visited: September 2010)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Klir, G., Yuan, B.: Fuzzy Sets and Fuzzy Logic (1995)","DOI":"10.1109\/45.468220"},{"key":"12_CR14","volume-title":"Methodische Einf\u00fchrung in krauses Denken","author":"C. Dr\u00f6sser","year":"1996","unstructured":"Dr\u00f6sser, C.: Fuzzy Logic. In: Methodische Einf\u00fchrung in krauses Denken. Rowohlt, Reinbek bei Hamburg (1996)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: About Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21652-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T19:34:25Z","timestamp":1560281665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21652-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642216510","9783642216527"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21652-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}