The Coq mailing list

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

Hi,

The following special issue has been cancelled.

We apologize for this. Please do not hesistate to contact us if needed.

Catherine Dubois, Paolo Masci and Dominque Mery.

( apologies for duplicates)

Le 11/02/2017 à 16:17, dubois a écrit :
> Journal: Computers
> Special Issue: Formal Integrated Development Environments
> Special Issue Editors: Catherine Dubois, Dominique Mery and Paolo Masci
> 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)

null