The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paulo S. C. Alencar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena
    A Framework for Machine-Assisted User Interface Verification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:461-474 [Conf]
  2. Anarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena
    AgentZ: Extending Object-Z for Multi-agent Systems Specification. [Citation Graph (0, 0)][DBLP]
    AOIS, 2004, pp:125-139 [Conf]
  3. Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan
    A Framework for Software Architecture Verification. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2000, pp:149-158 [Conf]
  4. Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar
    Extension Morphisms for CommUnity. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:173-193 [Conf]
  5. Anarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena
    Extending (Object-)Z for multi-agent systems specification. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops (2), 2004, pp:280-294 [Conf]
  6. Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan
    A service-oriented monitoring registry. [Citation Graph (0, 0)][DBLP]
    CASCON, 2003, pp:107-121 [Conf]
  7. Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena
    A Pattern-Based Approach to Structural Design Composition. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:160-165 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    COODBSE, 1994, pp:253-274 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:174-192 [Conf]
  10. Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena
    Validating Properties of Component-based Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:347-365 [Conf]
  11. Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
    Ensuring Structure and Behavior Correctness in Design Composition. [Citation Graph (0, 0)][DBLP]
    ECBS, 2000, pp:279-0 [Conf]
  12. Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena
    A Transformational Approach to Structural Design Assessment and Change. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:60-61 [Conf]
  13. Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova
    A Model for Gluing Together. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:157-158 [Conf]
  14. Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
    Correct Composition of Design Components. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:188- [Conf]
  15. Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar
    A Model for Describing Object-Oriented Systems from Multiple Perspectives. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:237-248 [Conf]
  16. Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena
    A Formal Approach to Architectural Design Patterns. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:576-594 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:771-772 [Conf]
  18. Paulo S. C. Alencar, Donald D. Cowan, Torsten Nelson, Carlos José Pereira de Lucena
    Viewpoints as an evolutionary approach to software system maintenance. [Citation Graph (0, 0)][DBLP]
    ICSM, 1997, pp:260-0 [Conf]
  19. Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
    A Formal Framework for Design Component Contracts. [Citation Graph (0, 0)][DBLP]
    IRI, 2003, pp:53-60 [Conf]
  20. Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz, Carlos José Pereira de Lucena
    A Formal Architectural Design Patterns-Based Approach to Software Understanding. [Citation Graph (0, 0)][DBLP]
    WPC, 1996, pp:154-163 [Conf]
  21. Bahman Kalali, Paulo S. C. Alencar, Donald D. Cowan
    NSPF: Designing a Notification Service Provider Framework for Web Services. [Citation Graph (0, 0)][DBLP]
    Web, Web-Services, and Database Systems, 2002, pp:73-90 [Conf]
  22. Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
    A Behavioral Analysis Approach to Pattern-Based Composition. [Citation Graph (0, 0)][DBLP]
    OOIS, 2001, pp:540-0 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2005, pp:94-95 [Conf]
  24. Maria Augusta Nelson, Donald D. Cowan, Paulo S. C. Alencar
    Geographic Problem Frames. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:306-307 [Conf]
  25. Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar
    Supporting Formal Verification of Crosscutting Concerns. [Citation Graph (0, 0)][DBLP]
    Reflection, 2001, pp:153-169 [Conf]
  26. Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan
    An Extensible Model of Architecture Description. [Citation Graph (0, 0)][DBLP]
    SAC (1), 2000, pp:156-165 [Conf]
  27. Uirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia
    Customizing Aspect-Oriented Variabilities using Generative Techniques. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:17-22 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    SELMAS, 2002, pp:267-284 [Conf]
  29. Uirá Kulesza, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo S. C. Alencar
    A Generative Approach for Multi-agent System Development. [Citation Graph (0, 0)][DBLP]
    SELMAS, 2004, pp:52-69 [Conf]
  30. 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. [Citation Graph (0, 0)][DBLP]
    SELMAS, 2002, pp:1-26 [Conf]
  31. 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. [Citation Graph (0, 0)][DBLP]
    SIGDOC, 1999, pp:93-98 [Conf]
  32. Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova
    Formal Specification of Reusable Interface Objects. [Citation Graph (0, 0)][DBLP]
    SSR, 1995, pp:88-96 [Conf]
  33. Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
    On Analysis of Design Component Contracts: A Case Study. [Citation Graph (0, 0)][DBLP]
    STEP, 2003, pp:103-113 [Conf]
  34. Paulo S. C. Alencar, Donald D. Cowan, Martin Luo
    A Framework for Community Information Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2002, v:13, n:1-4, pp:381-411 [Journal]
  35. Marcus E. Markiewicz, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Donald D. Cowan
    Views and Patterns in E-Commerce Application Design. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2002, v:13, n:1-4, pp:111-140 [Journal]
  36. M. A. V. Nelson, Paulo S. C. Alencar, Donald D. Cowan
    An approach to formal specification and verification of map-centered applications. [Citation Graph (0, 0)][DBLP]
    Environmental Modelling and Software, 2001, v:16, n:5, pp:459-465 [Journal]
  37. Paulo S. C. Alencar, Carlos José Pereira de Lucena
    A Logical Framework for Evolving Software Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:1, pp:3-46 [Journal]
  38. Maria Augusta Nelson, Torsten Nelson, Paulo S. C. Alencar, Donald D. Cowan
    An approach to formal automated analysis of problem-frame concerns. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:14, pp:913-927 [Journal]
  39. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2000, v:54, n:3, pp:239-257 [Journal]
  40. Carlos José Pereira de Lucena, Paulo S. C. Alencar
    A Formal Description of Evolving Software Systems Architectures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:1, pp:41-61 [Journal]
  41. Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
    A behavioral analysis and verification approach to pattern-based design composition. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:4, pp:262-272 [Journal]
  42. Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
    Automating the analysis of design component contracts. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2006, v:36, n:1, pp:27-71 [Journal]
  43. Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena
    A Logical Theory of Interfaces and Objects. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:6, pp:548-575 [Journal]
  44. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:3, pp:145-159 [Journal]
  45. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:10, pp:708-0 [Journal]
  46. Toacy C. Oliveira, Paulo S. C. Alencar, Carlos José Pereira de Lucena, Donald D. Cowan
    RDL: A language for framework instantiation representation. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:11, pp:1902-1929 [Journal]
  47. Jing Dong, Paulo S. C. Alencar, Donald D. Cowan, Sheng Yang
    Composing pattern-based components and verifying correctness. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:11, pp:1755-1769 [Journal]

  48. A metamodel for distributed event based systems. [Citation Graph (, )][DBLP]


  49. A Hybrid Diagnostic-Recommendation System for Agent Execution in Multi-Agent Systems. [Citation Graph (, )][DBLP]


  50. Building Service-Oriented User Agents Using a Software Product Line Approach. [Citation Graph (, )][DBLP]


  51. Distributed Event-Based System Features: Representation and Reasoning. [Citation Graph (, )][DBLP]


  52. Increasing Software Infrastructure Dependability through a Law Enforcement Approach. [Citation Graph (, )][DBLP]


Search in 0.081secs, Finished in 0.084secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002