Paulo S. C. Alencar Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngrid 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. 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)
2008
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolando Blanco, Jun Wang, Paulo S. C. Alencar: A metamodel for distributed event based systems. DEBS 2008: 221-232
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald D. Cowan, Paulo S. C. Alencar: Abstract Data Types. Wiley Encyclopedia of Computer Science and Engineering 2008
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFá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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing 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)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToacy 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)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia: Customizing Aspect-Oriented Variabilities using Generative Techniques. SEKE 2006: 17-22
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Dong, Paulo S. C. Alencar, Donald D. Cowan: Automating the analysis of design component contracts. Softw., Pract. Exper. 36(1): 27-71 (2006)
2005
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcí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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing 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)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToacy 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)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena: AgentZ: Extending Object-Z for Multi-agent Systems Specification. AOIS 2004: 125-139
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnarosa 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUirá 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToacy 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)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToacy 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)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBahman Kalali, Paulo S. C. Alencar, Donald D. Cowan: A service-oriented monitoring registry. CASCON 2003: 107-121
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Formal Framework for Design Component Contracts. IRI 2003: 53-60
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Dong, Paulo S. C. Alencar, Donald D. Cowan: On Analysis of Design Component Contracts: A Case Study. STEP 2003: 103-113
2002
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViviane 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBahman 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus 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)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo S. C. Alencar, Donald D. Cowan, Martin Luo: A Framework for Community Information Systems. Ann. Software Eng. 13(1-4): 381-411 (2002)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Behavioral Analysis Approach to Pattern-Based Composition. OOIS 2001: 540-
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Augusta V. Nelson, Donald D. Cowan, Paulo S. C. Alencar: Geographic Problem Frames. RE 2001: 306-307
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: Supporting Formal Verification of Crosscutting Concerns. Reflection 2001: 153-169
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: A Framework for Software Architecture Verification. Australian Software Engineering Conference 2000: 149-158
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Dong, Paulo S. C. Alencar, Donald D. Cowan: Ensuring Structure and Behavior Correctness in Design Composition. ECBS 2000: 279-
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Nelson, Donald D. Cowan, Paulo S. C. Alencar: A Model for Describing Object-Oriented Systems from Multiple Perspectives. FASE 2000: 237-248
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan: An Extensible Model of Architecture Description. SAC (1) 2000: 156-165
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Dong, Paulo S. C. Alencar, Donald D. Cowan: Correct Composition of Design Components. ECOOP Workshops 1999: 188
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: A Formal Approach to Architectural Design Patterns. FME 1996: 576-594
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo S. C. Alencar, Carlos José Pereira de Lucena: A Logical Framework for Evolving Software Systems. Formal Asp. Comput. 8(1): 3-46 (1996)
1995
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Mon Nov 23 18:13:59 2009 by Michael Ley (ley@uni-trier.de)