Arnaldo Hilário Viegas de Lima

According to our database, Arnaldo Hilário Viegas de Lima authored at least 4 papers between 1989 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1992

Design Version Management in the STAR Framework.

Flávio Rech Wagner, Lia Goldstein Golendziner, Jean Lacombe, Arnaldo Hilário Viegas de Lima

Proceedings of the Electronic Design Automation Frameworks: When will the promise be realized? Proceedings of the Third IFIP WG10.2/WG10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6 Bad Lippspringe, 1992

1991

Design Version Management in the GARDEN Framework.

Flávio Rech Wagner, Arnaldo Hilário Viegas de Lima

Proceedings of the 28th Design Automation Conference, 1991

1989

GARDEN - An Integrated and Evolving Environment for ULSI/VLSI CAD Applications.

Arnaldo Hilário Viegas de Lima, Raul César B. Martins, Ronaldo Stern, Luiza Maria F. Carneiro

IBM Syst. J., 1989

Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN.

Raul César B. Martins, Gustavo de O. Annarumma, Luiza Maria F. Carneiro, Arnaldo Hilário Viegas de Lima, Paschoal Molinari No., Elisabete M. B. de la Quintana, Ronaldo Stern

Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989