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.
Ideally, 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. The second one is to offer a language/environment simple enough to be usable by most developers. 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.
A satellite workshop of FM2016, the F-IDE workshop 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.
The 10th Workshop on Biomedical and Bioinformatics Challenges for Computer Science (BBC 2017) is in conjunction with ICCS 2017.
The aim of this workshop is to bring together computer science and life scientists to discuss emerging and future directions in topics related to key bioinformatics and computational biology techniques: