25 citations · 34 across the 4 of their papers we have counts for
4 papers
Using Integer Constraint Solving in Reuse Based Requirements Engineering
Camille Salinesi, Raul Mazo, Daniel Diaz +1
Product Lines (PL) have proved an effective approach to reuse-based systems development. Several modeling languages were proposed so far to specify PL. Although they can be very di…
Deriving Product Line Requirements: the RED-PL Guidance Approach
Olfa Djebbi, Camille Salinesi, Daniel Diaz
Product lines (PL) modeling have proven to be an effective approach to reuse in software development.Several variability approaches were developed to plan requirements reuse, but o…
Fifty Years of Prolog and Beyond
Philipp Körner, Michael Leuschel, João Barbosa +8
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A lar…
On the Implementation of GNU Prolog
Daniel Diaz, Salvador Abreu, Philippe Codognet
GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which pro…