Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016

Abstract : F-IDE 2016 is the third Formal Integrated Development Environment workshop (F-IDE 2016) held in Limassol, Cyprus, on November 8, 2016 as a satellite workshop of the FM conference. High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. An F-IDE dedicated to such developments should comply with several requirements. The first one is to associate a logical theory with a programming language, in a way that facilitates the tightly coupled handling of specification properties and program constructs. The second one is to offer a language/environment simple enough to be usable by most developers, even if they are not fully acquainted with higher-order logics or set theory, in particular by making development of proofs as easy as possible. The third one is to offer automated management of application documentation. It may also be expected that developments done with such an F-IDE are reusable and modular. Moreover, tools for testing and static analysis may be embedded in this F-IDE, to help address most steps of the assessment process. The workshop is a forum of exchange on different features related to F-IDEs. We solicited several kinds of contributions: research papers providing new concepts and results, position papers and research perspectives, experience reports, tool presentations. The current edition is a one-day workshop with eight communications, offering a large variety of approaches, techniques and tools. Some of the presentations took the form of a tool demonstration. Each submission was reviewed by three reviewers.
Liste complète des métadonnées

https://hal.inria.fr/hal-01652413
Contributeur : Dominique Méry <>
Soumis le : jeudi 30 novembre 2017 - 11:46:54
Dernière modification le : jeudi 11 janvier 2018 - 06:25:25

Lien texte intégral

Identifiants

Citation

Catherine Dubois, Paolo Masci, Dominique Méry. Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. Nov 2016, Cyprus. 240, 2017, 〈10.4204/EPTCS.240〉. 〈hal-01652413〉

Partager

Métriques

Consultations de la notice

150