|
|
|
Book Chapter
- Tiago Massoni, Augusto Sampaio and Paulo Borba. A RUP-based Software
Process Supporting Progressive Implementation. UML and
Unified Process. p. 375-387 IRM Press,
April 2003.
Journal Papers
Conference & Workshop Papers
- R. Gheyi, T. Massoni, and P. Borba.
A Rigorous Approach for Proving Model Refactorings. In 20th
IEEE/ACM International Conference on Automated Software Engineering (ASE),
Long Beach, United States, pages xx-yy, November 2005.
- T. Massoni, R. Gheyi, and P. Borba.
Formal Refactoring for UML Class Diagrams. In 19th Brazilian
Symposium on Software Engineering (SBES), Uberlandia, Brazil, pages
152-167, October 2005.
- T. Massoni, R. Gheyi, and P. Borba.
A Model-driven Approach to Program Refactoring. In OOPSLA'05:
Companion to the 20th annual ACM SIGPLAN conference on Object-oriented
programming systems, languages, and applications (Poster Session), San
Diego, United States, pages 124-125, October 2005. ACM Press.
- R. Gheyi, T. Massoni, and P. Borba.
Formal Refactorings for Object Models. In OOPSLA'05: Companion to
the 20th annual ACM SIGPLAN conference on Object-oriented programming
systems, languages, and applications (Student Research Competition),
San Diego, United States, pages 208-209, October 2005.
- Rohit Gheyi, Tiago Massoni, Paulo Borba.
An Abstract Equivalence Notion for Object Models.
In Brazilian Symposium on Formal Methods, pages
1-14, Recife, Brazil, November 2004.
- Rohit Gheyi, Tiago Massoni, Paulo Borba.
Basic Laws of Object Modeling. In Specification and Verification of
Component-Based Systems Workshop, ACM SIGSOFT
2004/FSE-12, pages 18-25, Newport Beach (CA), USA, October 2004.
- Tiago Massoni, Rohit Gheyi, Paulo Borba.
A UML Class Analyzer. In 3rd
International Workshop on Critical Systems Development with UML, 7th
International Conference on the Unified Modeling Language,
pages 100-114, Lisbon, Portugal, 2004.
- Tiago Massoni, Augusto Sampaio, and Paulo Borba.
A RUP-based
software process supporting progressive implementation. In 2002
International Conference of the Information Resources Management
Association, IRMA'2002, pages 480-483, Seattle, USA, 19th-22nd May
2002.
- Tiago Massoni, Augusto Sampaio, and Paulo Borba. Progressive
implementation of aspects.
In Workshop on Advanced Separation of Concerns in Object-Oriented
Systems, ACM Conference on Object-Oriented Programming, Systems, Languages
and Applications, Tampa Bay, USA, 14th-18th October 2001.
- Tiago Massoni, Vander Alves, Sérgio Soares and Paulo Borba.
PDC: Persistent
Data Collections pattern. In First Latin American Conference on
Pattern Languages Programming - SugarLoafPloP. October 3-5, 2001. Rio de
Janeiro, Brazil. ICMC - University of São Paulo Magazine, pages 311-326.
M.Sc. Dissertation
Technical Reports
|