M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O.,
“An Abstract Generic Framework for Web Site Verification”,
2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.
M. Baggi and Ballis, D.,
“A Lazy Implementation of a Language for Approximate Filtering of XML Documents”,
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), vol. 216. Elsevier, pp. 93–109, 2008.
M. Baggi and Ballis, D.,
“A Lazy Implementation of a Language for Approximate Filtering of XML Documents”,
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), vol. 216. Elsevier, pp. 93–109, 2008.
A. Baruzzo and Comini, M.,
“A Methodology for UML Models V&V”,
Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
D. Ballis, Baruzzo, A., and Comini, M.,
“A Minimalist Visual Notation for Design Patterns and Antipatterns”,
5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
D. Ballis, Baruzzo, A., and Comini, M.,
“A Minimalist Visual Notation for Design Patterns and Antipatterns”,
5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“Semantic Verification of Web System Contents”,
ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“Semantic Verification of Web System Contents”,
ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.