F-IDE 2016 - 3rd Workshop on Formal-IDE

The Formal Integrated Development Environment Workshop (F-IDE 2016) is opened to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It should allow the presentation of tools, methods, techniques and experiments. Topics of interest include, but are not limited to, the following:
F-IDE building: design and integration of languages, compilation
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 of developing F-IDE
Experience reports of using F-IDE
Experience reports of formal methods-based assessments of industrial applications