Virginia C. Carneiro de Paula

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 1

Top Topics

Programming Concepts

Computer Programming

Automatic Assessment

Top Venues

Publications

Virginia C. Carneiro de Paula
Computer Programming is More than to Program Computers. SIGITE (2018)
Virginia C. Carneiro de Paula, Thaís Batista
Revisiting a Formal Framework for Modeling Aspects in the Design Phase. EA@ICSE (2007)
Virginia C. Carneiro de Paula
Reusing Families Design. Software Engineering Research and Practice (2006)
Virginia C. Carneiro de Paula, Thaís Vasconcelos Batista
Mapping an ADL to a Component-Based Application Development Environment. FASE (2002)
Lyrene Fernandes da Silva, Virginia C. Carneiro de Paula
Comparative Analysis of Architectural Views Based on UML. Electron. Notes Theor. Comput. Sci. 65 (4) (2002)
Lyrene Fernandes da Silva, Virginia C. Carneiro de Paula
Um Meta-Modelo para Especificação de Arquiteturas de Software em Camadas. SBES (2001)
Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, Paulo R. F. Cunha
Specifying and Verifying Reconfigurable Software Architectures. PDSE (2000)
Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, Paulo R. F. Cunha
Formal Specification of Dynamic Architectural Styles. PDPTA (1999)
George R. Ribeiro-Justo, Virginia C. Carneiro de Paula, Paulo R. F. Cunha
Formal Specification of Evolving Distributed Software Architectures. DEXA Workshop (1998)
Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, Paulo R. F. Cunha
Specifying Dynamic Distributed Software Architectures. SBES (1998)