Transformation technique of algebraic specification.

Liqun Jin Jiahua Qian

Published in: COMPSAC (1990)

Keyphrases

high level
data sets
linear transformation
operational semantics
data mining
decision making
knowledge base
image processing
multi agent
higher order
user defined
conceptual model
formal specification
reactive systems
algebraic expressions