Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture.
M'hammed El KahouiAndreas WeberPublished in: J. Symb. Comput. (2000)
Keyphrases
- software components
- quantifier elimination
- commercial off the shelf
- software reuse
- constraint propagation
- presburger arithmetic
- constraint databases
- software systems
- first order logic
- cardinality constraints
- reusable components
- functional programming
- software development
- cooperative
- building blocks
- linear programming
- software engineering
- execution model
- expert systems
- web services