|
Conferences in DBLP
- Serge Abiteboul
Distributed Information Management with XML and Web Services. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:1-11 [Conf]
- Gruia-Catalin Roman, Christine Julien, Jamie Payton
A Formal Treatment of Context-Awareness. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:12-36 [Conf]
- Alexander Egyed
Consistent Adaptation and Evolution of Class Diagrams during Refinement. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:37-53 [Conf]
- Jianjun Zhao, Baowen Xu
Measuring Aspect Cohesion. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:54-68 [Conf]
- Tim McComb
Refactoring Object-Z Specifications. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:69-83 [Conf]
- 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]
- Gilles Barthe, Guillaume Dufay
A Tool-Assisted Framework for Certified Bytecode Verification. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:99-113 [Conf]
- Engelbert Hubbers, Erik Poll
Reasoning about Card Tears and Transactions in Java Card. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:114-128 [Conf]
- 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]
- 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]
- 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]
- Ruth Breu, Gerhard Popp
Actor-Centric Modeling of User Rights. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:165-179 [Conf]
- 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]
- Laura Bocchi
Compositional Nested Long Running Transactions. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:194-208 [Conf]
- 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]
- 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]
- Grégoire Hamon, John M. Rushby
An Operational Semantics for Stateflow. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:229-243 [Conf]
- Christine Choppy, Gianna Reggio
Improving Use Case Based Requirements Using Formally Grounded Specifications. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:244-260 [Conf]
- 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]
- Haifeng He, Neelam Gupta
Automated Debugging Using Path-Based Weakest Preconditions. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:267-280 [Conf]
- 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]
- 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]
- Peter Saffrey, Muffy Calder
Optimising Communication Structure for Model Checking. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:310-323 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
|