| 2006 |
|---|
| 6 | EE | Júlio Henrique Araújo Pereira Machado,
Paulo Blauth Menezes:
Defining Atomic Composition in UML Behavioral Diagrams.
J. UCS 12(7): 958-979 (2006) |
| 5 | EE | Cláudio Naoto Fuzitaki,
Paulo Blauth Menezes,
Júlio Henrique Araújo Pereira Machado,
Fernando D'Andrea:
Nautilus, a Concurrent Diagrammatic Specification and Programming Language.
The Journal of Supercomputing 36(1): 51-81 (2006) |
| 2004 |
|---|
| 4 | | Cláudio Naoto Fuzitaki,
Paulo Blauth Menezes,
Júlio Henrique Araújo Pereira Machado:
A Protocol Checker for Nautilus Language.
PDPTA 2004: 1336-1344 |
| 2003 |
|---|
| 3 | EE | Cláudio Naoto Fuzitaki,
Paulo Blauth Menezes,
Júlio Henrique Araújo Pereira Machado,
Simone André da Costa:
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.
EUROCAST 2003: 243-252 |
| 2002 |
|---|
| 2 | | Fernando D'Andrea,
Paulo Blauth Menezes,
Cláudio Naoto Fuzitaki,
Júlio Henrique Araújo Pereira Machado,
Simone André da Costa:
Nautilus, a Diagrammatic Specification and Programming Language.
IASTED PDCS 2002: 381-386 |
| 1 | | Júlio Henrique Araújo Pereira Machado,
Paulo Blauth Menezes:
Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa.
RITA 9(1): 67-80 (2002) |
