posted by user: fumiko758 || 2603 views || tracked by 3 users: [display]

SOFL+MSVL 2017 : The 7th international workshop on SOFL+MSVL

FacebookTwitterLinkedInGoogle

Link: http://ictt.xidian.edu.cn/icfem2017/html/Workshops.html
 
When Nov 16, 2017 - Nov 16, 2017
Where Xi’an, China
Submission Deadline Aug 16, 2017
Notification Due Sep 18, 2017
Final Version Due Dec 22, 2017
Categories    software engineering   formal methods   modeling and specification   simulation and verification
 

Call For Papers

There is a growing interest in applying formal methods in practice to improve software productivity and quality, but only with a few exceptions, this interest has not been successfully converted into the reality of application. How to enable practitioners to easily and effectively use formal techniques still remains challenging. The Structured Object-Oriented Formal Language (SOFL) has been developed to address this challenge by providing a comprehensible specification language, a practical modeling method, various verification and validation techniques, and tool support through effective integration of formal methods with conventional software engineering techniques. The Modeling, Simulation and Verification Language (MSVL) is a parallel programming language, and its supporting toolkit MSV has been developed to enable us to model, simulate and verify a system in a formal manner. This workshop aims to continuously promote the development and combinations of the SOFL formal engineering method and the formal method MSVL, as well as the applications of their fundamental principles or specific techniques to developing other formal engineering techniques. We expect to bring industrial, academic and government experts of SOFL and MSVL to communicate and to exchange ideas. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the interest includes, but not limited to, all of the possible issues in relation to SOFL, MSVL, or their applications in both developing other formal engineering techniques and specific software systems.

Scope and Topics:
Modeling and Specification
Integration of prototyping and formal specification
Integration of Agile methods and formal specification
Specification inspection and verification
Specification animation
Automatic transformation
Specification-based inspection and verification
Specification-based testing
Evolution and refinement
Model checking
Software process
Project management
Service-oriented computing
Data intensive computing
Many core parallel computing
Security of software
Application
Semantics
Software Tools

Submission and Publication: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. Papers must be written in English and should be no longer than 20 pages in Springer’s LNCS format. Please submit your paper at: https://www.easychair.org/conferences/?conf=soflmsvl2017.
The workshop proceedings will be published as an LNCS post-proceedings by Springer. Selected best papers will be recommended to a special issue of IEEE Transactions on Reliability for further consideration.

Related Resources

CAV 2021   33rd International Conference on Computer-Aided Verification
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
DMSE 2021   2nd International Conference on Data Mining and Software Engineering
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ACM--ICMLT--Ei and Scopus 2021   ACM--2021 6th International Conference on Machine Learning Technologies (ICMLT 2021)--EI Compendex, Scopus
FM 2021   Formal Methods 2021
SEAI--EI Compendex, Scopus 2021   2021 International Conference on Software Engineering and Artificial Intelligence (SEAI 2021)--EI Compendex, Scopus
ICCAI--Ei Compendex, Scopus 2021   ACM--2021 7th International Conference on Computing and Artificial Intelligence (ICCAI 2021)--EI Compendex, Scopus
CIoT 2021   3rd International Conference on Internet of Things
CAIML 2021   2nd International Conference on Artificial Intelligence and Machine Learning