P. R. F. Cunha
List of publications from the DBLP Bibliography Server - FAQ
| 2007 | ||
|---|---|---|
| 21 | 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 | ||
| 20 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha: An Ontological Approach for Personalized Services. AINA (2) 2006: 729-733 | |
| 19 | Nelson S. Rosa, Paulo Roberto Freire Cunha: A LOTOS Framework for Middleware Specification. FORTE 2006: 136-142 | |
| 18 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha: Adding Meaning to QoS Negotiation. ICEIS (4) 2006: 106-111 | |
| 2004 | ||
| 17 | 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 | |
| 16 | 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 | |
| 15 | Cidcley Teixeira de Souza, Paulo Roberto Freire Cunha: A Calculus for Reconfigurable Component-Based Systems. CLEI Electron. J. 7(2): (2004) | |
| 14 | 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 | ||
| 13 | Nelson S. Rosa, P. R. F. Cunha, George R. Ribeiro-Justo: ProcessNFL: A Language for Describing Non-functional Properties. HICSS 2002: 282 | |
| 2001 | ||
| 12 | 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 | |
| 11 | Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. Cunha: A framework for building non-functional software architectures. SAC 2001: 141-147 | |
| 2000 | ||
| 10 | Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. Cunha: Incorporating Non-functional Requirements into Software Architectures. IPDPS Workshops 2000: 1009-1018 | |
| 9 | Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, P. R. F. Cunha: Specifying and Verifying Reconfigurable Software Architectures. PDSE 2000: 21-31 | |
| 1999 | ||
| 8 | Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, P. R. F. Cunha: Formal Specification of Dynamic Architectural Styles. PDPTA 1999: 1939-1945 | |
| 7 | George R. Ribeiro-Justo, Paulo Roberto Freire Cunha: An architectural application framework for evolving distributed systems. Journal of Systems Architecture 45(15): 1375-1384 (1999) | |
| 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 | |
| 1 | Carlos José Pereira de Lucena | [2] [5] |
| 2 | T. S. E. Maibaum (Thomas Stephen Edward Maibaum) | [1] [2] [3] [4] [5] |
| 3 | Virginia C. Carneiro de Paula | [6] [8] [9] |
| 4 | Cláudia M. F. A. Ribeiro | [16] [17] [18] [20] |
| 5 | George R. Ribeiro-Justo | [6] [7] [8] [9] [10] [11] [12] [13] |
| 6 | Nelson Souto Rosa (Nelson S. Rosa) | [10] [11] [12] [13] [14] [16] [17] [18] [19] [20] [21] |
| 7 | Cidcley Teixeira de Souza | [15] |