1.
|
Tool support for verifying applications using object-oriented patterns Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.
|
2.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
3.
|
Developing a Repository of Knowledge for virtual communities with semantic web technologies Casalini, María Clara - Estevez, Elsa Clara - Fillottrani, Pablo Rubén
|