A logic-based formalization for component specification.

Juliana Küster Filipe

Published in: J. Object Technol. (2002)

Keyphrases

knowledge representation
high level
modelling language
operational semantics
artificial intelligence
software components
formal verification
neural network
multiresolution
formal semantics
specification language
real time
decision making
knowledge base
user defined
formal specification