Efficient Analysis of DynAlloy Specifications.

Marcelo F. Frias Carlos López Pombo Juan P. Galeotti Nazareno Aguirre

Published in: ACM Trans. Softw. Eng. Methodol. (2007)

Keyphrases

database
neural network
statistical analysis
quantitative analysis
search engine
computer vision
information systems
wide range
information technology
distributed systems