[Caml-list] SoSyM Special Issue on Integrated Formal Methods

[Caml-list] SoSyM Special Issue on Integrated Formal Methods

[Luigia Petre]

SoSyM Special Issue on Integrated Formal Methods

http://www.sosym.org/
http://www.sosym.org/theme_issues/
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  
to maintainability.
   • Integration technologies: tools for integrating formal methods  
for modeling and analysis and their adoption into software engineering  
practice.
   • Integration of varied software analysis methods: challenges and  
reports in combining formal methods with model checking techniques and  
simulation methodologies

Important Dates
   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  
conditions (http://www.sosym.org/submission/#plagiarismstatement).
   • 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  
(http://www.sosym.org/submission).
   • 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@abo.fi) or "Einar
Broch Johnsen” (+ einarj@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
   https://research.it.abo.fi/research/FormNet
   Department of Information Technologies
   Åbo Akademi University, Finland
   www.users.abo.fi/lpetre