1.
|
Model checking RAISE applicative specifications Perna, Juan I. - George, Chris W.
|
2.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|
3.
|
Project line: formally specifying the domain of balanced scorecard Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Dasso, Aristides - Funes, Ana
|
4.
|
A UML profile to model classifier refinements Correa, Natalia - Giandini, Roxana Silvia - Pons, Claudia
|
5.
|
A formal model for some behavioural features of analysis patterns Buccella, Agustina - Cechich, Alejandra
|