Login / Signup
TractsTool: Testing Model Transformations based on Contracts.
Loli Burgueño
Manuel Wimmer
Javier Troya
Antonio Vallecillo
Published in:
MoDELS (Demos/Posters/StudentResearch) (2013)
Keyphrases
</>
formal model
mathematical model
cost function
computational model
information systems
multiscale
conceptual model
test data
theoretical analysis
theoretical framework
medical images
object model
real time
management system
video sequences
information retrieval
data sets