10 citations · 18 across the 10 of their papers we have counts for
3 papers · 1 filter
Proceedings Second International Workshop on Formal Integrated Development Environment
Catherine Dubois, Paolo Masci, Dominique Méry
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…
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
Thi-Kim-Zung Pham, Catherine Dubois, Nicole Levy
Software Product Line Engineering (SPLE) is a software engineering paradigm that focuses on reuse and variability. Although feature-oriented programming (FOP) can implement softwar…
Tableaux Modulo Theories Using Superdeduction
Mélanie Jacquel, Karim Berkani, David Delahaye +1
We propose a method that allows us to develop tableaux modulo theories using the principles of superdeduction, among which the theory is used to enrich the deduction system with ne…