In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015

Robert was a co-founder of SoSyM and served as its Editor-in-Chiefsinceitsinceptionin1999.Hepassionatelybelievedthat the modeling community needed their own journal to beabletoreadandpublishinnovationsintheareasofmodeling,modellanguages,useofmodels,tooling,etc.Throughoutthepast 16years, Robert has been a major driving force behindthis journal. We dedicate this editorial to his memory.

[1]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[2]  Bernhard Rumpe,et al.  Meta-Modeling Semantics of UML , 2014, ArXiv.

[3]  Bernhard Rumpe,et al.  Modeling in Software Engineering , 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

[4]  Indrakshi Ray,et al.  Scenario-Based Static Analysis of UML Class Models , 2008, MoDELS.

[5]  Robert B. France,et al.  Directives for Composing Aspect-Oriented Design Class Models , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[6]  Bernhard Rumpe,et al.  Developing the UML as a Formal Modelling Notation , 2014, ArXiv.

[7]  Jean-Marc Jézéquel,et al.  Globalizing Modeling Languages , 2014 .

[8]  K Lano,et al.  Making Uml Precise , 1998 .

[9]  Bernhard Rumpe.  《UML》 '99 - the unified modeling language : beyond the standard : Second International Conference, Fort Collins, Co, USA, October 28-30, 1999 : proceedings , 1999 .

[10]  Robert B. France,et al.  A Systematic Approach to Generate Inputs to Test UML Design Models , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[11]  Bernhard Rumpe,et al.  «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.

[12]  Robert B. France,et al.  Test adequacy criteria for UML design models , 2003, Softw. Test. Verification Reliab..

[13]  Mathieu Acher,et al.  Decomposing feature models: language, environment, and applications , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[14]  Robert Busser,et al.  Incorporating a Formal Design Technique into an Industrial Environment: An Experience Report , 1998 .

[15]  Mathieu Acher,et al.  A domain-specific language for managing feature models , 2011, SAC.

[16]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[17]  Bernhard Rumpe,et al.  Limitations of Agile Software Processes , 2014, ArXiv.

[18]  Robert B. France,et al.  Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations , 1997, AMAST.

[19]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[20]  Robert B. France,et al.  A middleware‐transparent approach to developing distributed applications , 2005, Softw. Pract. Exp..

[21]  Robert B. France,et al.  Developing Distributed Services Using an Aspect Oriented Model Driven Framework , 2006, Int. J. Cooperative Inf. Syst..

[22]  Frank Eliassen,et al.  Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach , 2007, DAIS.

[23]  Mathieu Acher,et al.  FAMILIAR: A domain-specific language for large scale management of feature models , 2013, Sci. Comput. Program..

[24]  Robert B. France,et al.  Testing UML designs , 2007, Inf. Softw. Technol..

[25]  Bernhard Rumpe,et al.  Assumptions Underlying Agile Software-Development Processes , 2005, J. Database Manag..

[26]  Ramadan Abdunabi,et al.  Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model , 2013, IEEE Systems Journal.

[27]  Bernhard Rumpe,et al.  Behavioral Specifications of Businesses and Systems , 1999, Behavioral Specifications of Businesses and Systems.

[28]  Robert B. France,et al.  Model-driven development using UML 2.0: promises and pitfalls , 2006, Computer.

[29]  Mathieu Acher,et al.  Separation of concerns in feature modeling: support and applications , 2012, AOSD.

[30]  Bernhard Rumpe,et al.  Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.

[31]  Devon Simmonds,et al.  A middleware-transparent approach to developing distributed applications: Research Articles , 2005 .