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 BibTeX
@proceedings{DBLP:conf/fase/2004,
editor = {Michel Wermelinger and
Tiziana Margaria},
title = {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},
booktitle = {FASE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2984},
year = {2004},
isbn = {3-540-21305-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Serge Abiteboul:
Distributed Information Management with XML and Web Services.
1-11
Electronic Edition (link) BibTeX
- Gruia-Catalin Roman, Christine Julien, Jamie Payton:
A Formal Treatment of Context-Awareness.
12-36
Electronic Edition (link) BibTeX
- Alexander Egyed:
Consistent Adaptation and Evolution of Class Diagrams during Refinement.
37-53
Electronic Edition (link) BibTeX
- Jianjun Zhao, Baowen Xu:
Measuring Aspect Cohesion.
54-68
Electronic Edition (link) BibTeX
- Tim McComb:
Refactoring Object-Z Specifications.
69-83
Electronic Edition (link) BibTeX
- Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov:
Checking Absence of Illicit Applet Interactions: A Case Study.
84-98
Electronic Edition (link) BibTeX
- Gilles Barthe, Guillaume Dufay:
A Tool-Assisted Framework for Certified Bytecode Verification.
99-113
Electronic Edition (link) BibTeX
- Engelbert Hubbers, Erik Poll:
Reasoning about Card Tears and Transactions in Java Card.
114-128
Electronic Edition (link) BibTeX
- Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Predictable Dynamic Plugin Systems.
129-143
Electronic Edition (link) BibTeX
- Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath:
A Correlation Framework for the CORBA Component Model.
144-159
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ruth Breu, Gerhard Popp:
Actor-Centric Modeling of User Rights.
165-179
Electronic Edition (link) BibTeX
- Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li:
Modeling Role-Based Access Control Using Parameterized UML Models.
180-193
Electronic Edition (link) BibTeX
- Laura Bocchi:
Compositional Nested Long Running Transactions.
194-208
Electronic Edition (link) BibTeX
- Daniel Moldt, Jan Ortmann:
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.
209-213
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Grégoire Hamon, John M. Rushby:
An Operational Semantics for Stateflow.
229-243
Electronic Edition (link) BibTeX
- Christine Choppy, Gianna Reggio:
Improving Use Case Based Requirements Using Formally Grounded Specifications.
244-260
Electronic Edition (link) BibTeX
- Islam A. M. El-Maddah, T. S. E. Maibaum:
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design.
261-266
Electronic Edition (link) BibTeX
- Haifeng He, Neelam Gupta:
Automated Debugging Using Path-Based Weakest Preconditions.
267-280
Electronic Edition (link) BibTeX
- Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron:
Filtering TOBIAS Combinatorial Test Suites.
281-294
Electronic Edition (link) BibTeX
- Henry Muccini, Marcio S. Dias, Debra J. Richardson:
Systematic Testing of Software Architectures in the C2 Style.
295-309
Electronic Edition (link) BibTeX
- Peter Saffrey, Muffy Calder:
Optimising Communication Structure for Model Checking.
310-323
Electronic Edition (link) BibTeX
- Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne:
Translating Software Designs for Model Checking.
324-338
Electronic Edition (link) BibTeX
- Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco:
Enhancing Remote Method Invocation through Type-Based Static Analysis.
339-353
Electronic Edition (link) BibTeX
- Peter Csaba Ölveczky, José Meseguer:
Specification and Analysis of Real-Time Systems Using Real-Time Maude.
354-358
Electronic Edition (link) BibTeX
- Si Won Choi, Soo Ho Chang, Soo Dong Kim:
A Systematic Methodology for Developing Component Frameworks.
359-373
Electronic Edition (link) BibTeX
- Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers:
Automating Decisions in Component Composition Based on Propagation of Requirements.
374-388
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:11:48 2009
by Michael Ley (ley@uni-trier.de)