Login / Signup
Generation of OCL Constraints from B Abstract Machines.
Jean-Christophe Voisinet
Bruno Tatibouët
Isabelle Jacques
Published in:
Software Engineering Research and Practice (2005)
Keyphrases
</>
constraint language
multiple constraints
constraint satisfaction
real time
databases
low level
higher level
constraint programming
constraint networks
linear constraints
database
knowledge base
image sequences
object oriented
power system
generation process