Email Gateway (Aug 22 2022 at 15:04): Email Gateway (Aug 22 2022 at 15:04):From: dubois <catherine.dubois@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@ensiie.fr
Dr. Paolo Masci
HASLab/INESC TEC & Universidade do Minho, Braga, Portugal
Webpage: http://haslab.uminho.pt/masci/
E-Mail: paolo.masci@inesctec.pt
Professor Dominique Mery
LORIA & Université de Lorraine, France
Webpage: http://www.loria.fr/~mery/
E-Mail: dominique.mery@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.
Last updated: Apr 19 2024 at 01:05 UTC