- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j22 |      | Ingrid Nunes, Carlos José Pereira de Lucena, Donald D. Cowan, Uirá Kulesza, Paulo S. C. Alencar, Camila Nunes: Developing multi-agent system product lines: from requirements to code. IJAOSE 4(4): 353-389 (2011) |
| j21 | | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Donald D. Cowan: ReuseTool - An extensible tool support for object-oriented framework reuse. Journal of Systems and Software 84(12): 2234-2252 (2011) |
| j20 | | Eduardo S. Barrenechea, Paulo S. C. Alencar: An Adaptive Context-Aware and Event-Based Framework Design Model. Procedia CS 5: 593-600 (2011) |
| c44 | | H. Dominic Covvey, Donald D. Cowan, Paulo S. C. Alencar, William Malyk, Joel So, D. Henriques, Shirley L. Fenton: Model Human Behavior: Don't Constrain It! ITCH 2011: 188-195 |
| 2010 | ||
| p2 | | Rolando Blanco, Paulo S. C. Alencar: Event Models in Distributed Event Based Systems. Principles and Applications of Distributed Event-Based Systems 2010: 19-42 |
| c43 | | Yu-Ling Chang, Eduardo S. Barrenechea, Paulo S. C. Alencar: Dynamic user-centric mobile context model. ICDIM 2010: 442-447 |
| c42 | | Donald D. Cowan, Paulo S. C. Alencar, Fred McGarry, Carlos José Pereira de Lucena, Ingrid Nunes: A Web-Based Framework for Collaborative Innovation. ISoLA (1) 2010: 447-461 |
| c41 | | Rolando Blanco, Paulo S. C. Alencar: Distributed Event-Based System Features: Representation and Reasoning. SwSTE 2010: 38-46 |
| c40 | | Donald D. Cowan, Paulo S. C. Alencar, Fred McGarry, Carlos José Pereira de Lucena, Ingrid Nunes: Asset-Mapping Approaches to Web-Based Collaborative Innovation. Web Intelligence 2010: 528-532 |
| 2009 | ||
| j19 | | W. Dai, H. Dominic Covvey, Paulo S. C. Alencar, Donald D. Cowan: Lightweight query-based analysis of workflow process dependencies. Journal of Systems and Software 82(6): 915-931 (2009) |
| c39 | | Ingrid Nunes, Carlos José Pereira de Lucena, Donald D. Cowan, Paulo S. C. Alencar: Building Service-Oriented User Agents Using a Software Product Line Approach. ICSR 2009: 236-245 |
| 2008 | ||
| j18 |  | Fábio Zaupa, Itana Maria de Souza Gimenes, Donald D. Cowan, Paulo S. C. Alencar, Carlos José Pereira de Lucena: A Service-oriented Process to Develop Web Applications. J. UCS 14(8): 1368-1387 (2008) |
| c38 | | Rolando Blanco, Jun Wang, Paulo S. C. Alencar: A metamodel for distributed event based systems. DEBS 2008: 221-232 |
| c37 | | Andrew Diniz da Costa, Carlos José Pereira de Lucena, Viviane Torres da Silva, Paulo S. C. Alencar: A Hybrid Diagnostic-Recommendation System for Agent Execution in Multi-Agent Systems. ICSOFT (PL/DPS/KE) 2008: 159-168 |
| c36 | | Kleinner S. F. Oliveira, Marcos Silva, Toacy Cavalcante de Oliveira, Paulo S. C. Alencar: Uma Abordagem Flexível para Comparação de Modelos UML. SBCARS 2008: 150-163 |
| p1 | | Donald D. Cowan, Paulo S. C. Alencar: Abstract Data Types. Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 | ||
| j17 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan, Sheng Yang: Composing pattern-based components and verifying correctness. Journal of Systems and Software 80(11): 1755-1769 (2007) |
| j16 | | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Carlos José Pereira de Lucena, Donald D. Cowan: RDL: A language for framework instantiation representation. Journal of Systems and Software 80(11): 1902-1929 (2007) |
| j15 | | Maria Augusta V. Nelson, Paulo S. C. Alencar, Donald D. Cowan: Informal description and analysis of geographic requirements: an approach based on problems. Software and System Modeling 6(3): 223-245 (2007) |
| c35 | | Fábio Zaupa, Itana Maria de Souza Gimenes, Donald D. Cowan, Paulo S. C. Alencar, Carlos José Pereira de Lucena: Um Processo de Desenvolvimento de Aplicações Web baseado em Serviços. SBCARS 2007: 89-102 |
| 2006 | ||
| j14 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Automating the analysis of design component contracts. Softw., Pract. Exper. 36(1): 27-71 (2006) |
| c34 | | Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193 |
| c33 | | Uirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia: Customizing Aspect-Oriented Variabilities using Generative Techniques. SEKE 2006: 17-22 |
| 2005 | ||
| j13 | | 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) |
| j12 | | Jing Dong, Sheng Yang, Lawrence Chung, Paulo S. C. Alencar, Donald D. Cowan: A COTS architectural component specification stencil for selection and reasoning. ACM SIGSOFT Software Engineering Notes 30(4): 1-4 (2005) |
| j11 | | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: xTAO: enabling a declarative approach to the specification of multi-agent systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| c32 | | Gustavo R. de Carvalho, Rodrigo B. de Paes, Ricardo Choren, Paulo S. C. Alencar, Carlos José Pereira de Lucena: Increasing Software Infrastructure Dependability through a Law Enforcement Approach. NORMAS 2005: 65-72 |
| c31 | | Marcílio Mendonça, Paulo S. C. Alencar, Toacy Cavalcante de Oliveira, Donald D. Cowan: Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support. OOPSLA Companion 2005: 94-95 |
| 2004 | ||
| j10 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A behavioral analysis and verification approach to pattern-based design composition. Software and System Modeling 3(4): 262-272 (2004) |
| j9 | | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Ivan Mathias Filho, Carlos José Pereira de Lucena, Donald D. Cowan: Software Process Representation and Analysis for Framework Instantiation. IEEE Trans. Software Eng. 30(3): 145-159 (2004) |
| j8 | | Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Ivan Mathias Filho, Carlos José Pereira de Lucena, Donald D. Cowan: Response to Jiau et al.'s Comments. IEEE Trans. Software Eng. 30(10): 708- (2004) |
| c30 | | Anarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena: AgentZ: Extending Object-Z for Multi-agent Systems Specification. AOIS 2004: 125-139 |
| c29 | | Anarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena: Extending (Object-)Z for multi-agent systems specification. CAiSE Workshops (2) 2004: 280-294 |
| c28 | | Uirá Kulesza, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo S. C. Alencar: A Generative Approach for Multi-agent System Development. SELMAS 2004: 52-69 |
| e1 | | Carlos José Pereira de Lucena, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar (Eds.): Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003]. Lecture Notes in Computer Science 2940, Springer 2004, isbn 3-540-21182-9 |
| 2003 | ||
| c27 | | Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan: A service-oriented monitoring registry. CASCON 2003: 107-121 |
| c26 | | Carlos José Pereira de Lucena, José Alberto R. P. Sardinha, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar, Donald D. Cowan: Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003. ICSE 2003: 771-772 |
| c25 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Formal Framework for Design Component Contracts. IRI 2003: 53-60 |
| c24 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: On Analysis of Design Component Contracts: A Case Study. STEP 2003: 103-113 |
| 2002 | ||
| j7 | | Marcus E. Markiewicz, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Donald D. Cowan: Views and Patterns in E-Commerce Application Design. Ann. Software Eng. 13(1-4): 111-140 (2002) |
| j6 | | Paulo S. C. Alencar, Donald D. Cowan, Martin Luo: A Framework for Community Information Systems. Ann. Software Eng. 13(1-4): 381-411 (2002) |
| j5 | | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: A Logical Theory of Interfaces and Objects. IEEE Trans. Software Eng. 28(6): 548-575 (2002) |
| c23 | | Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan: NSPF: Designing a Notification Service Provider Framework for Web Services. Web, Web-Services, and Database Systems 2002: 73-90 |
| c22 | | Viviane Torres da Silva, Alessandro F. Garcia, Anarosa Brandão, Christina Chavez, Carlos José Pereira de Lucena, Paulo S. C. Alencar: Taming Agents and Objects in Software Engineering. SELMAS 2002: 1-26 |
| c21 | | Paulo S. C. Alencar, Donald D. Cowan, Douglas W. Mulholland, Toacy Cavalcante de Oliveira: Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents. SELMAS 2002: 267-284 |
| 2001 | ||
| j4 | | Maria Augusta V. Nelson, Paulo S. C. Alencar, Donald D. Cowan: An approach to formal specification and verification of map-centered applications. Environmental Modelling and Software 16(5): 459-465 (2001) |
| c20 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Behavioral Analysis Approach to Pattern-Based Composition. OOIS 2001: 540- |
| c19 | | Maria Augusta V. Nelson, Donald D. Cowan, Paulo S. C. Alencar: Geographic Problem Frames. RE 2001: 306-307 |
| c18 | | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: Supporting Formal Verification of Crosscutting Concerns. Reflection 2001: 153-169 |
| 2000 | ||
| j3 | | Marcus Fontoura, Sérgio Crespo, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Donald D. Cowan: Using viewpoints to derive object-oriented frameworks: a case study in the web-based education domain. Journal of Systems and Software 54(3): 239-257 (2000) |
| c17 | | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: A Framework for Software Architecture Verification. Australian Software Engineering Conference 2000: 149-158 |
| c16 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Ensuring Structure and Behavior Correctness in Design Composition. ECBS 2000: 279- |
| c15 | | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: A Model for Describing Object-Oriented Systems from Multiple Perspectives. FASE 2000: 237-248 |
| c14 | | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: An Extensible Model of Architecture Description. SAC (1) 2000: 156-165 |
| 1999 | ||
| c13 | | Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena: A Pattern-Based Approach to Structural Design Composition. COMPSAC 1999: 160-165 |
| c12 | | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Correct Composition of Design Components. ECOOP Workshops 1999: 188 |
| c11 | | B. Fraser, J. Roberts, G. M. Pianosi, Paulo S. C. Alencar, Donald D. Cowan, Daniel M. Germán, L. C. M. Nova: Dynamic views of SGML tagged documents. SIGDOC 1999: 93-98 |
| 1998 | ||
| c10 | | Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena: A Transformational Approach to Structural Design Assessment and Change. ECOOP Workshops 1998: 60-61 |
| c9 | | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova: A Model for Gluing Together. ECOOP Workshops 1998: 157-158 |
| 1997 | ||
| c8 | | 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- |
| 1996 | ||
| j2 | | Paulo S. C. Alencar, Carlos José Pereira de Lucena: A Logical Framework for Evolving Software Systems. Formal Asp. Comput. 8(1): 3-46 (1996) |
| c7 | | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: Validating Properties of Component-based Graphical User Interfaces. DSV-IS 1996: 347-365 |
| c6 | | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: A Formal Approach to Architectural Design Patterns. FME 1996: 576-594 |
| c5 | | Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz, Carlos José Pereira de Lucena: A Formal Architectural Design Patterns-Based Approach to Software Understanding. WPC 1996: 154-163 |
| 1995 | ||
| j1 | | Carlos José Pereira de Lucena, Paulo S. C. Alencar: A Formal Description of Evolving Software Systems Architectures. Sci. Comput. Program. 24(1): 41-61 (1995) |
| c4 | | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: A Framework for Machine-Assisted User Interface Verification. AMAST 1995: 461-474 |
| c3 | | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: Combining Formal Techniques and Prototyping in User Interface Construction and Verification. DSV-IS 1995: 174-192 |
| c2 | | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova: Formal Specification of Reusable Interface Objects. SSR 1995: 88-96 |
| 1994 | ||
| c1 | | Paulo S. C. Alencar, Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena: The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large. COODBSE 1994: 253-274 |
Colors in the list of coauthors
Last update Fri May 24 03:03:25 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page