[isabelle] Computers special issue - Formal Integrated Development Environments - Deadline approaching

Journal: Computers
Special Issue: Formal Integrated Development Environments
Special Issue Editors: Catherine Dubois, Dominique Mery and Paolo Masci
Deadline: 1 March, 2017

Guest Editors
- Professor Catherine Dubois
Samovar / ENSIIE
Webpage: http://www.ensiie.fr/~dubois/
E-Mail: catherine.dubois at ensiie.fr
- Dr. Paolo Masci
HASLab/INESC TEC & Universidade do Minho, Braga, Portugal
Webpage: http://haslab.uminho.pt/masci/
E-Mail: paolo.masci at inesctec.pt
- Professor Dominique Mery
LORIA & Università de Lorraine, France
Webpage: http://www.loria.fr/~mery/
E-Mail: dominique.mery at loria.fr

This special issue of Computers is dedicated to Formal Integrated Development Environments (Formal-IDEs) for the rigorous specification, design, analysis, and documentation of high-assurance systems.

This special issue welcomes original high-quality contributions that have been neither published in, nor submitted to, any journal or refereed conference. Topics of interest include, but are not limited to, the following: Formal-IDE building: design and integration of languages, development of user-friendly front-ends How to make high-level logical and programming concepts palatable to industrial developers
     Integration of Object-Oriented and modularity features
     Integration of static analyzers
Integration of automatic proof tools, theorem provers and testing tools
     Documentation tools
     Impact of tools on certification
     Experience reports on developing Formal-IDEs
     Experience reports on using Formal-IDEs
Experience reports on formal methods-based assessments in industrial applications

Manuscripts should be submitted online at www.mdpi.com. Manuscripts can be submitted until the deadline. Papers will be published continuously (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are refereed through a peer-review process.

Catherine DUBOIS, professor
ENSIIE, lab. Samovar (UMR 5157)

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.