| |
| 2000 | ||
|---|---|---|
| 4 | EE | Sergio E. R. de Carvalho, Julio Cesar Sampaio do Prado Leite: Module interconnection features in object-oriented development tools. Journal of Systems and Software 50(1): 57-64 (2000) |
| 1998 | ||
| 3 | EE | Sergio E. R. de Carvalho, Toacy Cavalcante de Oliveira: An Incremental Model for Concurrent Objects. Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 2 | EE | Sergio E. R. de Carvalho, Sylvia de O. Cruz, Toacy Cavalcante de Oliveira: Second Generation Object-Oriented Development. Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1980 | ||
| 1 | EE | Clesio Saraiva dos Santos, Antonio L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho: Towards Constructive Axiomatic Specifications. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 183-185 |
| 1 | José Mauro Volkmer de Castilho | [1] |
| 2 | Sylvia de O. Cruz | [2] |
| 3 | Antonio L. Furtado | [1] |
| 4 | Julio Cesar Sampaio do Prado Leite | [4] |
| 5 | Toacy Cavalcante de Oliveira | [2] [3] |
| 6 | Clesio Saraiva dos Santos | [1] |