ParTS: A Partitioning Transformation System.

Juliano Iyoda Augusto Sampaio Leila Silva

Published in: World Congress on Formal Methods (1999)

Keyphrases

real world
wide range
expert systems
transformation rules
partitioning algorithm
databases
three dimensional
high level