Sciweavers

MODELS
2007
Springer
14 years 5 months ago
A Generic Approach for Automatic Model Composition
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
Franck Fleurey, Benoit Baudry, Robert B. France, S...
CP
2007
Springer
14 years 5 months ago
MiniZinc: Towards a Standard CP Modelling Language
Abstract. There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it diļ¬ƒcult for modellers to...
Nicholas Nethercote, Peter J. Stuckey, Ralph Becke...
ATAL
2007
Springer
14 years 5 months ago
Model Checking Norms and Sanctions in Institutions
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
Francesco Viganò, Marco Colombetti
CPAIOR
2009
Springer
14 years 6 months ago
Modelling Search Strategies in Rules2CP
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
François Fages, Julien Martin