1.
|
Model checking RAISE applicative specifications Perna, Juan I. - George, Chris W.
|
2.
|
An extension to EMTPL Cobo, María Laura - Falappa, Marcelo Alejandro
|
3.
|
Mineral compositions visualization implementing the spinel prism Ganuza, María Luján - Castro, Silvia Mabel - Martig, Sergio R. - Bjerg, Ernesto - Ferracutti, Gabriela
|
4.
|
Computing support for virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
5.
|
A functional approach for in line analytical processing Necco, Claudia Mónica - Quintas, Luis - Nuno Olivera, J.
|
6.
|
Classification rules obtained from dynamic self-organizing maps Hasperué, Waldo - Lanzarini, Laura Cristina
|
7.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
8.
|
Messaging infrastructure for Electronic Government: background, rationale, objectives Estevez, Elsa Clara - Janowski, Thomas - Fillottrani, Pablo Rubén
|
9.
|
The software architecture role in agile methodologies Anacleto, Valerio Adrián
|
10.
|
Nineteen sixties history of data base management Olle, T. William
|