A formalism for functionality preserving system level transformations.

Samar Abdi Daniel Gajski

Published in: ASP-DAC (2005)

Keyphrases

higher level
database
knowledge representation
neural network
machine learning
artificial intelligence
website
similarity measure
description logics
lower level
levels of abstraction