{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:59:07Z","timestamp":1725458347450},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_50","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T12:50:20Z","timestamp":1347972620000},"page":"793-809","source":"Crossref","is-referenced-by-count":9,"title":["Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering"],"prefix":"10.1007","author":[{"given":"Lionel","family":"Briand","sequence":"first","affiliation":[]},{"given":"Davide","family":"Falessi","sequence":"additional","affiliation":[]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: FOSE, pp. 37\u201354 (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"50_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-540-69100-6_31","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"P. Mohagheghi","year":"2008","unstructured":"Mohagheghi, P., Dehlen, V.: Where Is the Proof? - A Review of Experiences from Applying MDE in Industry. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 432\u2013443. Springer, Heidelberg (2008)"},{"key":"50_CR3","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: ICSE, pp. 633\u2013642 (2011)","DOI":"10.1145\/1985793.1985882"},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of mde in industry. In: ICSE, pp. 471\u2013480 (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"50_CR5","unstructured":"Object Management Group (OMG): Systems Modeling Language (SysML), version 1.1. (2008), (\n                    \n                      http:\/\/www.omg.org\/docs\/formal\/08-11-02.pdf"},{"key":"50_CR6","unstructured":"Nejati, S., Sabetzadeh, M., Falessi, D., Briand, L., Coq, T.: A sysml-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Technical Report 2011-01, SRL (2011)"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"Falessi, D., Nejati, S., Sabetzadeh, M., Briand, L., Messina, A.: Safeslice: a model slicing and design safety inspection tool for sysml. In: SIGSOFT FSE, pp. 460\u2013463 (2011)","DOI":"10.1145\/2025113.2025191"},{"key":"50_CR8","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Briand, L., Evensen Mills, A.: Using SysML for modeling of safety-critical software-hardware interfaces: Guidelines and industry experience. In: HASE (2011) (to appear)","DOI":"10.1109\/HASE.2011.23"},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"Behjati, R., Nejati, S., Yue, T., Gotlieb, A., Briand, L.: Model-based automated and guided configuration of embedded software systems (2012) (in submission)","DOI":"10.1007\/978-3-642-31491-9_18"},{"key":"50_CR10","unstructured":"Behjati, R., Yue, T., Briand, L., Selic, B.: Simpl: A product-line modeling methodology for families of integrated control systems. Technical Report 2011-01, SRL (2011)"},{"key":"50_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-642-21470-7_17","volume-title":"Modelling Foundations and Applications","author":"R. Behjati","year":"2011","unstructured":"Behjati, R., Yue, T., Nejati, S., Briand, L., Selic, B.: Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 236\u2013252. Springer, Heidelberg (2011)"},{"key":"50_CR12","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Falessi, D., Briand, L., Alesio, S.D., McGeorge, D., \u00c5hjem, V., Borg, J.: Combining goal models, expert elicitation, and probabilistic simulation for qualification of new technology. In: HASE (2011) (to appear)","DOI":"10.1109\/HASE.2011.22"},{"key":"50_CR13","unstructured":"Falessi, D., Sabetzadeh, M., Alesio, S.D., Briand, L.: Modus: A tool for goal-based safety and reliability assessessment of new technologies (2011) (submitted)"},{"key":"50_CR14","unstructured":"van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"key":"50_CR15","doi-asserted-by":"crossref","unstructured":"O\u2019Hagan, A., Buck, C., Daneshkhah, A., Eiser, J., Garthwaite, P., Jenkinson, D., Oakley, J., Rakow, T.: Uncertain Judgements: Eliciting Experts\u2019 Probabilities. Wiley (2006)","DOI":"10.1002\/0470033312"},{"key":"50_CR16","doi-asserted-by":"crossref","unstructured":"Robert, C., Casella, G.: Monte Carlo Statistical Methods. Springer (2005)","DOI":"10.1007\/978-1-4757-4145-2"},{"key":"50_CR17","unstructured":"Det Norske Veritas: Qualification procedures for new technology DNV-RP-A203, DNV (2001)"},{"key":"50_CR18","unstructured":"Det Norske Veritas: Technology qualification management DNV-OSS-401, DNV (2010)"},{"issue":"6","key":"50_CR19","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/MS.2006.147","volume":"23","author":"T. Gorschek","year":"2006","unstructured":"Gorschek, T., Garre, P., Larsson, S., Wohlin, C.: A model for technology transfer in practice. IEEE Software\u00a023(6), 88\u201395 (2006)","journal-title":"IEEE Software"},{"key":"50_CR20","doi-asserted-by":"crossref","unstructured":"Ericson, C.: Hazard Analysis Techniques for System Safety. John Wiley & Sons (2005)","DOI":"10.1002\/0471739421"},{"key":"50_CR21","unstructured":"Object Management Group (OMG): A UML profile for MARTE: Modeling and analysis of real-time embedded systems (May 2009)"},{"key":"50_CR22","doi-asserted-by":"crossref","unstructured":"Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems - Case Study Production Cell, Formal Development of Reactive Systems. LNCS, vol.\u00a0891. Springer (1995)","DOI":"10.1007\/3-540-58867-1"},{"key":"50_CR23","unstructured":"Tarr, P.: So you want to marry an industrial. Presentation (2011)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:24:08Z","timestamp":1558301048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}