Arnaldo Hilário Viegas de Lima

Publication Activity (10 Years)

Years Active: 1989-1992
Publications (10 Years): 0

Publications

Flávio Rech Wagner, Lia Goldstein Golendziner, Jean Lacombe, Arnaldo Hilário Viegas de Lima
Design Version Management in the STAR Framework. Electronic Design Automation Frameworks (1992)
Flávio Rech Wagner, Arnaldo Hilário Viegas de Lima
Design Version Management in the GARDEN Framework. DAC (1991)
Arnaldo Hilário Viegas de Lima, Raul César B. Martins, Ronaldo Stern, Luiza Maria F. Carneiro
GARDEN - An Integrated and Evolving Environment for ULSI/VLSI CAD Applications. IBM Syst. J. 28 (4) (1989)
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
Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN. SBES (1989)