Development of Algebraic Specifications with Constraints.

Fernando Orejas Vera Sacristán Silvia Clerici

Published in: Categorial Methods in Computer Science (1988)

Keyphrases

case study
software engineering
knowledge based systems
artificial intelligence
high level
open source
decision support
constrained optimization
neural network
genetic algorithm
relational databases
knowledge management
constraint satisfaction
st century
global constraints
semantic constraints