The Coq mailing list

[dubois <catherine.dubois AT ensiie.fr>]

Journal: Computers
Special Issue: Formal Integrated Development Environments
Special Issue Editors: Catherine Dubois, Dominique Mery and Paolo Masci
Deadline: 1 March, 2017
http://www.mdpi.com/journal/computers/special_issues/f_ide

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

Summary
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


Submission
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)