2008 | ||
---|---|---|
56 | EE | Rolando Blanco, Jun Wang, Paulo S. C. Alencar: A metamodel for distributed event based systems. DEBS 2008: 221-232 |
55 | 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 | |
54 | EE | Donald D. Cowan, Paulo S. C. Alencar: Abstract Data Types. Wiley Encyclopedia of Computer Science and Engineering 2008 |
53 | 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) | |
2007 | ||
52 | EE | 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) |
51 | EE | 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) |
50 | EE | 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) |
2006 | ||
49 | EE | Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193 |
48 | Uirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia: Customizing Aspect-Oriented Variabilities using Generative Techniques. SEKE 2006: 17-22 | |
47 | EE | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Automating the analysis of design component contracts. Softw., Pract. Exper. 36(1): 27-71 (2006) |
2005 | ||
46 | EE | 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 |
45 | EE | 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 |
44 | EE | 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) |
43 | EE | 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) |
42 | 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 | ||
41 | Carlos José Pereira de Lucena, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar: Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003] Springer 2004 | |
40 | EE | 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 |
39 | 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 | |
38 | EE | 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 |
37 | 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) | |
36 | EE | 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) |
35 | EE | 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) |
2003 | ||
34 | EE | Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan: A service-oriented monitoring registry. CASCON 2003: 107-121 |
33 | EE | 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 |
32 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Formal Framework for Design Component Contracts. IRI 2003: 53-60 | |
31 | EE | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: On Analysis of Design Component Contracts: A Case Study. STEP 2003: 103-113 |
2002 | ||
30 | EE | 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 |
29 | EE | Paulo S. C. Alencar, Donald D. Cowan, D. Mulholland, Toacy Cavalcante de Oliveira: Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents. SELMAS 2002: 267-284 |
28 | EE | 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 |
27 | 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) | |
26 | Paulo S. C. Alencar, Donald D. Cowan, Martin Luo: A Framework for Community Information Systems. Ann. Software Eng. 13(1-4): 381-411 (2002) | |
25 | EE | 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) |
2001 | ||
24 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Behavioral Analysis Approach to Pattern-Based Composition. OOIS 2001: 540- | |
23 | EE | Maria Augusta V. Nelson, Donald D. Cowan, Paulo S. C. Alencar: Geographic Problem Frames. RE 2001: 306-307 |
22 | EE | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: Supporting Formal Verification of Crosscutting Concerns. Reflection 2001: 153-169 |
21 | 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) | |
2000 | ||
20 | EE | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: A Framework for Software Architecture Verification. Australian Software Engineering Conference 2000: 149-158 |
19 | EE | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Ensuring Structure and Behavior Correctness in Design Composition. ECBS 2000: 279- |
18 | EE | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: A Model for Describing Object-Oriented Systems from Multiple Perspectives. FASE 2000: 237-248 |
17 | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: An Extensible Model of Architecture Description. SAC (1) 2000: 156-165 | |
16 | EE | 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) |
1999 | ||
15 | EE | 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 |
14 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Correct Composition of Design Components. ECOOP Workshops 1999: 188 | |
13 | EE | 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 | ||
12 | EE | 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 |
11 | EE | 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 |
1997 | ||
10 | 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- |
1996 | ||
9 | 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 | |
8 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: A Formal Approach to Architectural Design Patterns. FME 1996: 576-594 | |
7 | EE | 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 |
6 | Paulo S. C. Alencar, Carlos José Pereira de Lucena: A Logical Framework for Evolving Software Systems. Formal Asp. Comput. 8(1): 3-46 (1996) | |
1995 | ||
5 | 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 | |
4 | 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 | |
3 | EE | 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 |
2 | 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) | |
1994 | ||
1 | 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 |