Mechanical verification of refactorings.

Nik Sultana Simon J. Thompson

Published in: PEPM (2008)

Keyphrases

model checking
mechanical design
verification method
information retrieval
data quality
transformation rules
asynchronous circuits
real time
real world
data mining
power system
formal methods
software evolution
finite element model