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 |