| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eduardo S. Barrenechea, Paulo S. C. Alencar |
An Adaptive Context-Aware and Event-Based Framework Design Model.  |
Procedia CS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolando Blanco, Paulo S. C. Alencar |
Event Models in Distributed Event Based Systems. |
Principles and Applications of Distributed Event-Based Systems |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Ling Chang, Eduardo S. Barrenechea, Paulo S. C. Alencar |
Dynamic user-centric mobile context model. |
ICDIM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, Paulo S. C. Alencar, Fred McGarry, Carlos José Pereira de Lucena, Ingrid Nunes |
A Web-Based Framework for Collaborative Innovation. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolando Blanco, Paulo S. C. Alencar |
Distributed Event-Based System Features: Representation and Reasoning. |
SwSTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Multi-agent Systems, Service-oriented Architectures, Personalization, Software Product Lines, User Agents |
| 1 | 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 |
2008 |
DBLP BibTeX RDF |
|
| 1 | Donald D. Cowan, Paulo S. C. Alencar |
Abstract Data Types. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rolando Blanco, Jun Wang, Paulo S. C. Alencar |
A metamodel for distributed event based systems. |
DEBS |
2008 |
DBLP DOI BibTeX RDF |
software modularization and composition |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan, Sheng Yang |
Composing pattern-based components and verifying correctness. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
Automating the analysis of design component contracts. |
Softw., Pract. Exper. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar |
Extension Morphisms for CommUnity. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Uirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia |
Customizing Aspect-Oriented Variabilities using Generative Techniques. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
XML |
| 1 | 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 |
DBLP DOI BibTeX RDF |
aspect modeling languages, model transformation, application frameworks, aspect-oriented frameworks |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
A behavioral analysis and verification approach to pattern-based design composition. |
Software and System Modeling |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Design patterns, Software components, Software design, Software specification, Hypermedia systems |
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
lightweight analysis, Frameworks, specification, software process, software design, instantiation, design analysis |
| 1 | Anarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena |
Extending (Object-)Z for multi-agent systems specification. |
CAiSE Workshops |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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] |
SELMAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Uirá Kulesza, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo S. C. Alencar |
A Generative Approach for Multi-agent System Development. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena |
AgentZ: Extending Object-Z for Multi-agent Systems Specification. |
AOIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
A Formal Framework for Design Component Contracts. |
IRI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
On Analysis of Design Component Contracts: A Case Study. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
Component-based software design, Model Checking, Design Pattern, Contract, Web-based systems, Process Calculus |
| 1 | Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan |
A service-oriented monitoring registry. |
CASCON |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
A Logical Theory of Interfaces and Objects. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Abstract design views, user interfaces, verification, concurrency, specification, logic, objects |
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Martin Luo |
A Framework for Community Information Systems. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Web Service, Framework, Design Patterns, Profile, Failures, Version Control, Software Change, Event Notification |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Web-based user interfaces, e-commerce, monitoring, distributed databases, business process, Software agents, data management, software design, events, events, e-business, data consistency |
| 1 | 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 |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
A Behavioral Analysis Approach to Pattern-Based Composition. |
OOIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Maria Augusta V. Nelson, Donald D. Cowan, Paulo S. C. Alencar |
Geographic Problem Frames. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar |
Supporting Formal Verification of Crosscutting Concerns. |
Reflection |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan |
A Framework for Software Architecture Verification. |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
formal modeling, architecture description languages (ADLs), higher-order logic, Software architecture analysis |
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
Ensuring Structure and Behavior Correctness in Design Composition. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
design composition, formal methods, design patterns, temporal logic, first-order logic, component-based software development, design components |
| 1 | Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan |
An Extensible Model of Architecture Description. |
SAC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar |
A Model for Describing Object-Oriented Systems from Multiple Perspectives. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Paulo S. C. Alencar, Donald D. Cowan |
Correct Composition of Design Components. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
dynamic views, tagging languages, XML, World-Wide Web, usability, relational databases, SQL, SQL, documentation, SGML, SGML, hyperlinks |
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena |
A Pattern-Based Approach to Structural Design Composition. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
design transformation, design pattern, Prolog, software evolution, object-oriented design, design process, design reuse, Design component |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova |
A Model for Gluing Together. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Torsten Nelson, Carlos José Pereira de Lucena |
Viewpoints as an evolutionary approach to software system maintenance. (PDF / PS) |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
software system maintenance, black box approach, software system evolution, NACHOS file system, object oriented software systems, general transformational approach, semantics, software maintenance, case study, software design, viewpoints, evolutionary approach |
| 1 | Paulo S. C. Alencar, Carlos José Pereira de Lucena |
A Logical Framework for Evolving Software Systems. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz, Carlos José Pereira de Lucena |
A Formal Architectural Design Patterns-Based Approach to Software Understanding. (PDF / PS) |
WPC |
1996 |
DBLP DOI BibTeX RDF |
Architectural Design Patterns, Process Clustering, Abstract Data Views, Development Constructors, User Interfaces, Formal Methods, Reverse Engineering, Object-oriented Programming, Interfaces, Process Languages |
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
A Formal Approach to Architectural Design Patterns. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Carlos José Pereira de Lucena, Paulo S. C. Alencar |
A Formal Description of Evolving Software Systems Architectures. |
Sci. Comput. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
A Framework for Machine-Assisted User Interface Verification. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova |
Formal Specification of Reusable Interface Objects. |
SSR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")