7. FASE 2004:
Barcelona, Spain (Part of ETAPS 2004)
Michel Wermelinger, Tiziana Margaria (Eds.):
Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings.
Lecture Notes in Computer Science 2984 Springer 2004, ISBN 3-540-21305-8 
- Serge Abiteboul:
Distributed Information Management with XML and Web Services.
1-11
- Gruia-Catalin Roman, Christine Julien, Jamie Payton:
A Formal Treatment of Context-Awareness.
12-36
- Alexander Egyed:
Consistent Adaptation and Evolution of Class Diagrams during Refinement.
37-53
- Jianjun Zhao, Baowen Xu:
Measuring Aspect Cohesion.
54-68
- Tim McComb:
Refactoring Object-Z Specifications.
69-83
- Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov:
Checking Absence of Illicit Applet Interactions: A Case Study.
84-98
- Gilles Barthe, Guillaume Dufay:
A Tool-Assisted Framework for Certified Bytecode Verification.
99-113
- Engelbert Hubbers, Erik Poll:
Reasoning about Card Tears and Transactions in Java Card.
114-128
- Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Predictable Dynamic Plugin Systems.
129-143
- Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath:
A Correlation Framework for the CORBA Component Model.
144-159
- 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.
160-164
- Ruth Breu, Gerhard Popp:
Actor-Centric Modeling of User Rights.
165-179
- Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li:
Modeling Role-Based Access Control Using Parameterized UML Models.
180-193
- Laura Bocchi:
Compositional Nested Long Running Transactions.
194-208
- Daniel Moldt, Jan Ortmann:
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.
209-213
- Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer:
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.
214-228
- Grégoire Hamon, John M. Rushby:
An Operational Semantics for Stateflow.
229-243
- Christine Choppy, Gianna Reggio:
Improving Use Case Based Requirements Using Formally Grounded Specifications.
244-260
- Islam A. M. El-Maddah, T. S. E. Maibaum:
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design.
261-266
- Haifeng He, Neelam Gupta:
Automated Debugging Using Path-Based Weakest Preconditions.
267-280
- Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron:
Filtering TOBIAS Combinatorial Test Suites.
281-294
- Henry Muccini, Marcio S. Dias, Debra J. Richardson:
Systematic Testing of Software Architectures in the C2 Style.
295-309
- Peter Saffrey, Muffy Calder:
Optimising Communication Structure for Model Checking.
310-323
- Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne:
Translating Software Designs for Model Checking.
324-338
- Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco:
Enhancing Remote Method Invocation through Type-Based Static Analysis.
339-353
- Peter Csaba Ölveczky, José Meseguer:
Specification and Analysis of Real-Time Systems Using Real-Time Maude.
354-358
- Si Won Choi, Soo Ho Chang, Soo Dong Kim:
A Systematic Methodology for Developing Component Frameworks.
359-373
- Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers:
Automating Decisions in Component Composition Based on Propagation of Requirements.
374-388
Last update Wed May 22 23:31:09 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
