Paulo S. C. Alencar

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

Coauthor Index

1	Nazareno Aguirre	[49]
2	Rolando Blanco	[56]
3	Anarosa Brandão	[30] [39] [40]
4	Peter Bumbulis	[4] [5] [9]
5	Luiza Marija F. Carneiro-Coffin	[1]
6	Gustavo R. de Carvalho	[46]
7	Jaelson Brelaz de Castro (Jaelson Castro)	[33] [41]
8	Christina von Flach G. Chavez (Christina Chavez)	[30]
9	Ricardo Choren	[46]
10	Lawrence Chung	[44]
11	Andrew Diniz da Costa	[55]
12	Donald D. Cowan	[1] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [35] [36] [37] [42] [43] [44] [45] [47] [50] [51] [52] [53] [54]
13	Sérgio Crespo	[16]
14	Jing Dong	[11] [14] [15] [19] [24] [31] [32] [35] [44] [47] [52]
15	Ivan Mathias Filho	[36] [37]
16	Marcus Fontoura	[16]
17	B. Fraser	[13]
18	Alessandro F. Garcia (Alessandro Garcia)	[30] [33] [38] [41] [48]
19	Daniel M. Germán	[13]
20	Itana Maria de Souza Gimenes	[53]
21	Bahman Kalali	[28] [34]
22	Uirá Kulesza	[38] [48]
23	Thomas Kunz	[7]
24	Kurt Lichtner	[17] [20]
25	Carlos José Pereira de Lucena	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [16] [25] [27] [30] [33] [36] [37] [38] [39] [40] [41] [43] [46] [48] [51] [53] [55]
26	Martin Luo	[26]
27	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[49]
28	Marcus E. Markiewicz	[27]
29	Marcílio Mendonça	[45]
30	D. Mulholland	[29]
31	Maria Augusta V. Nelson	[21] [23] [42] [50]
32	Torsten Nelson	[10] [18] [22] [42]
33	L. C. M. Nova	[3] [12] [13]
34	Toacy Cavalcante de Oliveira	[29] [36] [37] [43] [45] [51]
35	Rodrigo B. de Paes	[46]
36	G. M. Pianosi	[13]
37	J. Roberts	[13]
38	Alexander Romanovsky (Alexander B. Romanovsky)	[33] [41]
39	José Alberto R. P. Sardinha	[33]
40	Viviane Torres da Silva	[30] [55]
41	Jun Wang	[56]
42	Sheng Yang	[44] [52]
43	Fábio Zaupa	[53]

Colors in the list of coauthors