The SCEAS System
Navigation Menu

Conferences in DBLP

Fundamental Approaches to Software Engineering (FASE) (fase)
2004 (conf/fase/2004)

  1. Serge Abiteboul
    Distributed Information Management with XML and Web Services. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:1-11 [Conf]
  2. Gruia-Catalin Roman, Christine Julien, Jamie Payton
    A Formal Treatment of Context-Awareness. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:12-36 [Conf]
  3. Alexander Egyed
    Consistent Adaptation and Evolution of Class Diagrams during Refinement. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:37-53 [Conf]
  4. Jianjun Zhao, Baowen Xu
    Measuring Aspect Cohesion. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:54-68 [Conf]
  5. Tim McComb
    Refactoring Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:69-83 [Conf]
  6. Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
    Checking Absence of Illicit Applet Interactions: A Case Study. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:84-98 [Conf]
  7. Gilles Barthe, Guillaume Dufay
    A Tool-Assisted Framework for Certified Bytecode Verification. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:99-113 [Conf]
  8. Engelbert Hubbers, Erik Poll
    Reasoning about Card Tears and Transactions in Java Card. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:114-128 [Conf]
  9. Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Predictable Dynamic Plugin Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:129-143 [Conf]
  10. Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
    A Correlation Framework for the CORBA Component Model. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:144-159 [Conf]
  11. Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
    Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:160-164 [Conf]
  12. Ruth Breu, Gerhard Popp
    Actor-Centric Modeling of User Rights. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:165-179 [Conf]
  13. Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li
    Modeling Role-Based Access Control Using Parameterized UML Models. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:180-193 [Conf]
  14. Laura Bocchi
    Compositional Nested Long Running Transactions. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:194-208 [Conf]
  15. Daniel Moldt, Jan Ortmann
    DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:209-213 [Conf]
  16. Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer
    Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:214-228 [Conf]
  17. Grégoire Hamon, John M. Rushby
    An Operational Semantics for Stateflow. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:229-243 [Conf]
  18. Christine Choppy, Gianna Reggio
    Improving Use Case Based Requirements Using Formally Grounded Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:244-260 [Conf]
  19. Islam A. M. El-Maddah, T. S. E. Maibaum
    The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:261-266 [Conf]
  20. Haifeng He, Neelam Gupta
    Automated Debugging Using Path-Based Weakest Preconditions. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:267-280 [Conf]
  21. Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
    Filtering TOBIAS Combinatorial Test Suites. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:281-294 [Conf]
  22. Henry Muccini, Marcio S. Dias, Debra J. Richardson
    Systematic Testing of Software Architectures in the C2 Style. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:295-309 [Conf]
  23. Peter Saffrey, Muffy Calder
    Optimising Communication Structure for Model Checking. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:310-323 [Conf]
  24. Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
    Translating Software Designs for Model Checking. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:324-338 [Conf]
  25. Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
    Enhancing Remote Method Invocation through Type-Based Static Analysis. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:339-353 [Conf]
  26. Peter Csaba Ölveczky, José Meseguer
    Specification and Analysis of Real-Time Systems Using Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:354-358 [Conf]
  27. Si Won Choi, Soo Ho Chang, Soo Dong Kim
    A Systematic Methodology for Developing Component Frameworks. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:359-373 [Conf]
  28. Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers
    Automating Decisions in Component Composition Based on Propagation of Requirements. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:374-388 [Conf]
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