RMSE2017: Rigorous Methods in Software Engineering |
Website | http://icteri.org/icteri-2017/workshops/rmse-2017 |
Submission deadline | March 15, 2017 |
The workshop RMSE dedicates to rigorous methods which are used in deferent fields of software engineering: formal methods for specification, verification and optimization of software, formal methods for different kinds of software analysis (modeling, business rule extraction etc), software testing which based on formal methods (model based testing, white box testing etc), re-engineering problems (model extraction from source code, language migration etc).
Submission Guidelines
The following submission types are preferable (similar main track http://icteri.org/icteri-2017/paper-types/):
– regular and short research papers;
– discussion, surveys or problems analysis papers;
– industry experience reports and case studies.
Evaluation criteria are equivalent to the ones of the main ICTERI Conference.
Please refer to http://icteri.org/icteri-2017/evaluation-criteria/ and see instructions for paper submission http://icteri.org/icteri-2017/formatting-instructions/ for more details.
List of Topics
The workshop aims to bring together the researchers from different research groups, both academics and practitioners, working on the aspects of formal techniques for specification and analysis of distributed software and cyber-physical systems, computer simulation as a tool for the study of large-scale distributed system and networking.
The list of the topics of interest:
-
rigorous and formal techniques for specification and analysis of software;
-
mathematical modeling and computer simulation of systems;
-
mathematical models of information systems and processes;
-
software re-engineering.The theme of RMSE 2017 relates to the ICTERI 2017 Track 2: Information Systems: Technology and Applications: Model Driven Architectures / Software Development, Business Process Management, Knowledge Extraction, Engineering and Management.
Committees
Workshop Chairs
Mykola Nikitchenko, Taras Shevchenko National University of Kyiv, Ukraine,
Vladimir Peschanenko, Kherson State University, Ukraine,
Martin Strecker, Paul Sabatier University, Toulouse 3, France,
Gregory Zholtkevych, V. N. Karazin Kharkiv National University, Ukraine
Program Committee Members
Sergiy Bogomolov, The Australian National University, Australia,
Gabriel Ciobanu, "Alexandru Ioan Cuza" University of Iasi, Romania,
Anatoliy Doroshenko, National Technical University of Ukraine Igor Sikorsky Kyiv Polytechnic Institute, Ukraine,
Pavel Drobintsev, Saint-Petersburg State Polytechnical Universitym, Russian Federation,
Artur Kornilowicz, University of Bialystok, Poland,
Vsevolod Kotlyarov, Saint-Petersburg State Polytechnical University, Russian Federation,
Frederic Mallet, Université Cote d’Azur, Cnrs, Inria, I3S, France,
Oleksandr Letychevskyi, Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine,
Alexander Letichevsky, Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine,
Michael Lvov, Kherson State University, Ukraine,
Alexander Lyaletski, Taras Shevchenko National University of Kyiv, Ukraine
Wolfgang Schreiner, Research Institute for Symbolic Computation of Johannes Kepler University Linz, Austria,
Volodymyr Skobelev, Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Ukraine
Contact
All questions about submissions should be emailed to Vladimir Peschanenko vladim at ksu.ks.ua