{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T05:49:39Z","timestamp":1648619379017},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T00:00:00Z","timestamp":1430265600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s10270-015-0461-5","type":"journal-article","created":{"date-parts":[[2015,4,28]],"date-time":"2015-04-28T03:52:21Z","timestamp":1430193141000},"page":"525-532","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015"],"prefix":"10.1007","volume":"14","author":[{"given":"Marsha","family":"Chechik","sequence":"first","affiliation":[]},{"given":"Geri","family":"Georg","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]},{"given":"Jean-Marc","family":"Jezequel","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Schindler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,29]]},"reference":[{"issue":"3","key":"461_CR1","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1109\/JSYST.2013.2242751","volume":"7","author":"R Abdunabi","year":"2013","unstructured":"Abdunabi, R., Al-Lail, M., Ray, I., France, R.: Specification, validation, and enforcement of a generalized spatio-temporal role-based access control model. IEEE Syst. J. 7(3), 501\u2013515 (2013)","journal-title":"IEEE Syst. J."},{"key":"461_CR2","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Decomposing feature models: language, environment, and applications. In: Proceedings of Automated Software Engineering (ASE), demonstration paper, ACM\/IEEE, USA, pp. 6\u201311 (2011)","DOI":"10.1109\/ASE.2011.6100135"},{"key":"461_CR3","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: A domain-specific language for managing feature models. In: Proceedings of the Symposium on Applied Computing (SAC), Programming Languages Track, ACM, Taiwan, pp. 21\u201325 (2011)","DOI":"10.1145\/1982185.1982473"},{"key":"461_CR4","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Separation of concerns in feature modeling. In: Proceedings of Aspect-Oriented Software Development (AOSD) (2012)","DOI":"10.1145\/2162049.2162051"},{"issue":"6","key":"461_CR5","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1016\/j.scico.2012.12.004","volume":"78","author":"M Acher","year":"2013","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Familiar: a domain-specific language for large scale management of feature models. Sci. Comput. Program. 78(6), 657\u2013681 (2013)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"461_CR6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1002\/stvr.270","volume":"13","author":"A Andrews","year":"2003","unstructured":"Andrews, A., France, R., Ghosh, S., Craig, G.: Test adequacy criteria for UML design models. J. Softw. Test. Verif. Reliab. 13(2), 95\u2013127 (2003)","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"461_CR7","doi-asserted-by":"crossref","unstructured":"Atlee, J., France, R., Georg, G., Moreira, A., Rumpe, B., Zschaler, S.: Modeling in software engineering (MISE). Workshop summary. In: 29th International Conference on Software Engineering (ICSE). Companion Volume. Minneapolis, IEEE (2007)","DOI":"10.1109\/ICSECOMPANION.2007.53"},{"issue":"6","key":"461_CR8","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/MC.2014.147","volume":"47","author":"B Combemale","year":"2014","unstructured":"Combemale, B., Deantoni, J., Baudry, B., France, R., Jezequel, J.M., Gray, J.: Globalizing modeling languages. IEEE Comput. 47(6), 68\u201371 (2014)","journal-title":"IEEE Comput."},{"key":"461_CR9","unstructured":"Evans, A., Bruel, J.M., France, R., Lano, K., Rumpe, B.: Making UML precise. In: OOPSLA\u201998 Workshop on \u201cFormalizing UML. Why and How?\u201d Vancouver, Canada (1998)"},{"key":"461_CR10","doi-asserted-by":"crossref","unstructured":"Evans, A., France, R., Lano, K., Rumpe, B.: Developing the UML as a formal modeling notation. In: Muller, P.A., Bezivin, J. (eds.) UML $$^\\prime 98$$ \u2032 98 Beyond the notation. International Workshop Mulhouse France. Ecole Superieure Mulhouse, Universite de Haute-Alsace (1998)","DOI":"10.1007\/978-3-540-48480-6_26"},{"key":"461_CR11","doi-asserted-by":"crossref","unstructured":"Evans, A., France, R., Lano, K., Rumpe, B.: The UML as a formal modeling notation. In: Bezivin, J., Muller, P.A. (eds.) The unified modeling language\u2014Workshop UML $$^\\prime 98$$ \u2032 98 : beyond the notation. Springer: Berlin, LNCS 1618 (1999)","DOI":"10.1007\/978-3-540-48480-6_26"},{"key":"461_CR12","doi-asserted-by":"crossref","unstructured":"Evans, A., Lano, K., France, R., Rumpe, B.: Meta-modeling semantics of UML. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral specifications of businesses and systems. Kluver Academic Publisher, Norwell (1999)","DOI":"10.1007\/978-1-4615-5229-1_4"},{"key":"461_CR13","unstructured":"France, R., Busser, R., Boughdadi, M.: Incorporating a formal design technique in an industrial setting. In: Proceedings of The Ninth International Symposium on Software Reliability Engineering (ISSRE98), IEEE Press (1998)"},{"key":"461_CR14","doi-asserted-by":"crossref","unstructured":"France, R., Bruel, J.M., Larrondo-Petrie, M., Grant, E.: Rigorous object-oriented modeling: integrating formal and informal notations. In: Proceedings of the 6th International AMAST Conference (1997)","DOI":"10.1007\/BFb0000473"},{"key":"461_CR15","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","volume":"19","author":"R France","year":"1998","unstructured":"France, R., Evans, A., Lano, K., Rumpe, B.: The UML as a formal modeling notation. Comput. Stand. Interfaces 19, 325\u2013334 (1998)","journal-title":"Comput. Stand. Interfaces"},{"issue":"2","key":"461_CR16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/MC.2006.65","volume":"39","author":"R France","year":"2006","unstructured":"France, R., Ghosh, S., Dinh-Trong, T., Solberg, A.: Model-driven development using UML 2.0: promises and pitfalls. IEEE Comput. 39(2), 59\u201366 (2006)","journal-title":"IEEE Comput."},{"key":"461_CR17","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B. (eds.): $$<<\\text{ UML }>>$$ < < UML > > \u201999\u2014the unified modeling language. Beyond the standard. In: Proceedings of the Second International Conference in Fort Collins, Colorado, USA. Springer Verlag Berlin, LNCS 1723, 28\u201330 October 1999","DOI":"10.1007\/3-540-46852-8"},{"key":"461_CR18","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Future of software engineering 2007 at ICSE. Minneapolis, pp. 37\u201354, IEEE (2007)","DOI":"10.1109\/FOSE.2007.14"},{"issue":"4","key":"461_CR19","first-page":"173","volume":"151","author":"R France","year":"2004","unstructured":"France, R., Ray, I., Georg, G., Ghosh, S.: An aspect-oriented approach to design modeling. IEEE Proc. Softw. Spec. Issue Early Asp. Asp. Oriented Requir. Eng. Archit. Des. 151(4), 173\u2013185 (2004)","journal-title":"IEEE Proc. Softw. Spec. Issue Early Asp. Asp. Oriented Requir. Eng. Archit. Des."},{"key":"461_CR20","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1002\/spe.666","volume":"35","author":"S Ghosh","year":"2005","unstructured":"Ghosh, S., France, R., Simmonds, D., Bare, A., Kamalakar, B., Shankar, R.P., Tandon, G., Vile, P., Yin, S.: A middleware transparent approach to developing distributed applications. Softw. Pract. Exp. 35, 1131\u20131154 (2005)","journal-title":"Softw. Pract. Exp."},{"key":"461_CR21","doi-asserted-by":"crossref","unstructured":"Lundesgaard, S., Solberg, A., Oldevik, J., France, R., Aagedal, J.O., Eliassen, F.: Construction and execution of adaptable applications using an aspect-oriented and model driven approach. IFIP DAIS 2007, LNCS 4531, pp. 76\u201389 (2007)","DOI":"10.1007\/978-3-540-72883-2_6"},{"key":"461_CR22","volume-title":"Testing UML designs. Information and software technology (IST)","author":"O Pilskalns","year":"2008","unstructured":"Pilskalns, O., Andrews, A., Knight, A., Ghosh, S., France, R.: Testing UML designs. Information and software technology (IST). Elsevier, Amsterdam (2008)"},{"key":"461_CR23","doi-asserted-by":"crossref","unstructured":"Reddy, R., Ghosh, S., France, R., Straw, G., Bieman, J., McEachen, N., Song, E., Georg, G.: Directives for composing aspect-oriented design class models. In: Transactions on Aspect-Oriented Software Development (TAOSD), LNCS 3880, pp. 75\u2013105 (2004)","DOI":"10.1007\/11687061_3"},{"key":"461_CR24","doi-asserted-by":"crossref","unstructured":"Solberg, A., Simmonds, D., Reddy, R., France, R., Ghosh, S., Jan Aagedal, \u00d8.: Developing distributed services using an aspect oriented model driven framework. Int. J. Coop. Information Syst. 15(4), 535\u2013564 (2006). doi: 10.1142\/S0218843006001487","DOI":"10.1142\/S0218843006001487"},{"key":"461_CR25","unstructured":"Turk, D., France, R., Rumpe, B.: Limitations of agile software processes. In: Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP 26\u201330 May 2002, Alghero, Italy, pp. 43\u201346 (2002)"},{"key":"461_CR26","unstructured":"Turk, D., France, R., Rumpe, B.: Assumptions underlying agile software development processes. In: Journal of Database Management, Volume 16, No. 4, pp. 62\u201387, October\u2013December 2005 Idea Group Inc., (2005)"},{"key":"461_CR27","doi-asserted-by":"crossref","unstructured":"Dinh-Trong, T., Ghosh, S., France, R.: A systematic approach to generate inputs to test UML design models. In: Proceedings of the 17th IEEE International Symposium on Software Reliability Engineering (ISSRE), Raleigh, North Carolina (2006)","DOI":"10.1109\/ISSRE.2006.10"},{"key":"461_CR28","unstructured":"Yu, L., France, R., Ray, I.: Scenario-based static analysis of UML behavioral properties. In: Proceedings of MODELS (2008)"}],"container-title":["Software &amp; Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0461-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-015-0461-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0461-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,24]],"date-time":"2019-08-24T05:29:27Z","timestamp":1566624567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-015-0461-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,29]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["461"],"URL":"https:\/\/doi.org\/10.1007\/s10270-015-0461-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,29]]}}}