2005 |
5 | EE | Maria Augusta V. Nelson,
Torsten Nelson,
Paulo S. C. Alencar,
Donald D. Cowan:
An approach to formal automated analysis of problem-frame concerns.
Information & Software Technology 47(14): 913-927 (2005) |
2004 |
4 | EE | Daniel M. Berry,
Khuzaima Daudjee,
Jing Dong,
Igor Fainchtein,
Maria Augusta V. Nelson,
Torsten Nelson,
Lihua Ou:
User's manual as a requirements specification: case studies.
Requir. Eng. 9(1): 67-82 (2004) |
2001 |
3 | EE | Torsten Nelson,
Donald D. Cowan,
Paulo S. C. Alencar:
Supporting Formal Verification of Crosscutting Concerns.
Reflection 2001: 153-169 |
2000 |
2 | EE | Torsten Nelson,
Donald D. Cowan,
Paulo S. C. Alencar:
A Model for Describing Object-Oriented Systems from Multiple Perspectives.
FASE 2000: 237-248 |
1997 |
1 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Torsten Nelson,
Carlos José Pereira de Lucena:
Viewpoints as an evolutionary approach to software system maintenance.
ICSM 1997: 260- |