10 citations · 18 across the 10 of their papers we have counts for
3 papers · 1 filter
Comparing EventB, and Why3 Models of Sparse Sets
Maximiliano Cristiá, Catherine Dubois
Many representations for sets are available in programming languages libraries. The paper focuses on sparse sets used, e.g., in some constraint solvers for representing integer var…
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…
Proceedings 1st Workshop on Formal Integrated Development Environment
Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event,…