 | 2006 |
|---|
| 9 |       | Júlio Henrique Araújo Pereira Machado,
Paulo Blauth Menezes:
Defining Atomic Composition in UML Behavioral Diagrams.
J. UCS 12(7): 958-979 (2006) |
| 8 | | 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) |
| 2005 |
|---|
| 7 | | Júlio Henrique Araújo Pereira Machado,
Paulo Blauth Menezes:
Composing Transitions into Transactions in UML Diagrams.
EUROCAST 2005: 50-55 |
| 2004 |
|---|
| 6 |  | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | 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 |
| 3 | | 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) |
| 2001 |
|---|
| 2 | | Júlio Henrique Araújo Pereira Machado,
Márcia R. Notare,
Simone André da Costa,
Tiarajú Asmuz Diverio,
Paulo Blauth Menezes:
Hyper-Automation System Applied to Geometry Demonstration Environment.
EUROCAST 2001: 457-468 |
| 2000 |
|---|
| 1 | | Júlio Henrique Araújo Pereira Machado,
Carlos Tadeu Q. de Morais,
Paulo Blauth Menezes,
Ricardo Reis:
Structuring Web course pages as Automata: revising concepts.
RIAO 2000: 150-159 |
