Proceedings Second International Workshop on Formal Integrated Development Environment

  title={Proceedings Second International Workshop on Formal Integrated Development Environment},
  author={Catherine Dubois and Paolo Masci and Dominique M'ery},
This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on June 22, 2015, in Oslo (Norway). 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… 
1 Citations

A Component-Based Formal Language Workbench

This short paper reports work in progress on generating an IDE for CBS from the definition, and considers the possibility of supporting component-based language specification in other formal language workbenches.