P. R. F. Cunha
List of publications from the
| 2007 |
|---|
| 20 | EE | Nelson Souto Rosa,
Paulo Roberto Freire Cunha:
A formal framework for middleware behavioural specification.
ACM SIGSOFT Software Engineering Notes 32(2): 1-7 (2007) |
| 2006 |
|---|
| 19 | EE | Cláudia M. F. A. Ribeiro,
Nelson S. Rosa,
Paulo Roberto Freire Cunha:
An Ontological Approach for Personalized Services.
AINA (2) 2006: 729-733 |
| 18 | EE | Nelson S. Rosa,
Paulo Roberto Freire Cunha:
A LOTOS Framework for Middleware Specification.
FORTE 2006: 136-142 |
| 17 | | Cláudia M. F. A. Ribeiro,
Nelson S. Rosa,
Paulo Roberto Freire Cunha:
Adding Meaning to QoS Negotiation.
ICEIS (4) 2006: 106-111 |
| 2004 |
|---|
| 16 | EE | Cláudia M. F. A. Ribeiro,
Nelson S. Rosa,
Paulo Roberto Freire Cunha:
Towards a Model for Personalized Communication Services.
AINA (2) 2004: 99-103 |
| 15 | | Cláudia M. F. A. Ribeiro,
Nelson S. Rosa,
Paulo Roberto Freire Cunha:
Towards a Model for Personalized Communication Services Based on User Perception.
ICEIS (5) 2004: 211-215 |
| 14 | EE | Cidcley Teixeira de Souza,
Paulo Roberto Freire Cunha:
A Calculus for Reconfigurable Component-Based Systems.
CLEI Electron. J. 7(2): (2004) |
| 13 | EE | Nelson S. Rosa,
Paulo Roberto Freire Cunha:
A Software Architecture-Based Approach for Formalising Middleware Behaviour.
Electr. Notes Theor. Comput. Sci. 108: 39-51 (2004) |
| 2002 |
|---|
| 12 | EE | Nelson S. Rosa,
P. R. F. Cunha,
George R. Ribeiro-Justo:
ProcessNFL: A Language for Describing Non-functional Properties.
HICSS 2002: 282 |
| 2001 |
|---|
| 11 | | Nelson S. Rosa,
Paulo Roberto Freire Cunha,
George R. Ribeiro-Justo:
On the Treatment of Non-Functional Properties of Dynamic Distributed Software Architectures.
ISCA PDCS 2001: 62-67 |
| 10 | EE | Nelson S. Rosa,
George R. Ribeiro-Justo,
P. R. F. Cunha:
A framework for building non-functional software architectures.
SAC 2001: 141-147 |
| 2000 |
|---|
| 9 | EE | Nelson S. Rosa,
George R. Ribeiro-Justo,
P. R. F. Cunha:
Incorporating Non-functional Requirements into Software Architectures.
IPDPS Workshops 2000: 1009-1018 |
| 8 | EE | Virginia C. Carneiro de Paula,
George R. Ribeiro-Justo,
P. R. F. Cunha:
Specifying and Verifying Reconfigurable Software Architectures.
PDSE 2000: 21-31 |
| 1999 |
|---|
| 7 | | Virginia C. Carneiro de Paula,
George R. Ribeiro-Justo,
P. R. F. Cunha:
Formal Specification of Dynamic Architectural Styles.
PDPTA 1999: 1939-1945 |
| 1998 |
|---|
| 6 | | George R. Ribeiro-Justo,
Virginia C. Carneiro de Paula,
P. R. F. Cunha:
Formal Specification of Evolving Distributed Software Architectures.
DEXA Workshop 1998: 548-553 |
| 1983 |
|---|
| 5 | | P. R. F. Cunha,
Carlos José Pereira de Lucena,
T. S. E. Maibaum:
Message Oriented Programming - A Resource Based Methodology.
Comput. Lang. 8(3/4): 95-111 (1983) |
| 1981 |
|---|
| 4 | | Paulo Roberto Freire Cunha,
T. S. E. Maibaum:
A Synchronization Calculus for Message Oriented Programming.
ICDCS 1981: 433-445 |
| 3 | | P. R. F. Cunha,
T. S. E. Maibaum:
Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming.
ICSE 1981: 263-272 |
| 1980 |
|---|
| 2 | | P. R. F. Cunha,
Carlos José Pereira de Lucena,
T. S. E. Maibaum:
A Methodology for Message Oriented Programming.
Fachtagung über Programmiersprachen 1980: 83-93 |
| 1 | | P. R. F. Cunha,
T. S. E. Maibaum:
A Communication Data Type for Message Oriented Programming.
Symposium on Programming 1980: 79-91 |
