[ecoop-info] SoSyM Special Issue on Integrated Formal Methods
lpetre at abo.fi
Thu Sep 12 08:53:30 CEST 2013
SoSyM Special Issue on Integrated Formal Methods
Guest editors: Luigia Petre, Åbo Akademi University and Einar Broch
Johnsen, University of Oslo
Editors-in-chief: Robert France, Colorado State University and
Bernhard Rumpe, RWTH Aachen University
Formal methods allow the modeling and analysis of various aspects of a
system. Modeling languages differ in the system aspects they target,
for which models can be naturally and succinctly expressed. Numerous
techniques address model analysis in these languages, specialized for
different kinds of properties. Thus, applying formal methods may
involve the modeling of different aspects of a system through
different formal paradigms. Correspondingly, different analysis
techniques will be integrated to examine differently modeled system
views, different kinds of properties, or simply in order to cope with
the sheer complexity of the system.
In recent years there has been a great deal of interest addressing the
scalability of such hybrid or integrated formal models and analysis
techniques. In addition, several formal methods have matured to the
point where they can be deployed on industrial-scale applications, in
big part due to their increasing tool support. The aim of this theme
issue is to provide a resource that describes the state-of-the-art in
integrated formal methods and to outline a roadmap that addresses key
challenges in this area.
The Journal of Software and Systems Modeling (SoSyM) invites original,
high-quality submissions for its theme issue on Integrated Formal
Methods (IFM) focusing on topics related to IFM, including:
Requirements for integration: challenges and road-map;
combination of (formal and semi-formal) methods for system modeling,
analysis and development; architectures.
Integration phases: all integration aspects from language design
through verification and analysis techniques; questions with respect
Integration technologies: tools for integrating formal methods
for modeling and analysis and their adoption into software engineering
Integration of varied software analysis methods: challenges and
reports in combining formal methods with model checking techniques and
Intent to submit 1 Oct 2013
Paper submission 15 Nov 2013
Notification 15 Feb 2014
Camera-ready version Apr 2014
Making a submission
Papers must be written in a scientifically rigorous manner with
adequate references to related work.
Submitted papers must not be simultaneously submitted in an
extended form or in a shortened form to other journals or conferences.
It is however possible to submit extended versions of previously
published work if less than 75% of the content already appeared in a
nonjournal publication, or less than 40% in a journal publication.
Please see the SoSyM Policy Statement on Plagiarism for further
Submitted papers do not need to adhere to a particular format or
page limit, but should be prepared using font Times New Roman with a
font size no smaller than 11 pt, and with 1.5 line spacing. Please
consult the SoSyM author information for submitting papers
Each paper will be reviewed by at least three reviewers.
Communicate your intent to submit a paper by emailing the theme
issue editors the following information before the Intent to Submit
deadline: Title, Authors, and an Abstract.
Possible submission formats are:
Word (.doc, without macros)
Rich Text Format (.rtf)
PostScript (.ps, special fonts must be embedded)
PDF (saved as readable in version 5.0 or earlier)
Submit your work using the online submission system manuscript central:
In step 1, select Theme Section Paper as the manuscript
type and select Dr. Bernhard Rumpe as the Editor-in-Chief (EIC).
In step 4, add Luigia Petre (+ lpetre at abo.fi) or "Einar
Broch Johnsen (+ einarj at ifi.uio.no) as an editor and choose
Designate as Preferred Editor.
In step 5, make sure field Cover Letter includes the
line: Submission for Theme Issue on IFM.
If you have any questions or require additional information about
this theme issue, please contact the editors.
Luigia Petre, Docent, PhD
Formal Methods and Networks group
Department of Information Technologies
Åbo Akademi University, Finland
More information about the ecoop-info