default search action

combined dblp search
author search
venue search
publication search

ask others

7. FASE 2004: Barcelona, Spain (Part of ETAPS 2004)

> Home > Conferences and Workshops > FASE
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fase/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2004
Michel Wermelinger, Tiziana Margaria:
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
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Abiteboul04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Abiteboul04
Serge Abiteboul:
Distributed Information Management with XML and Web Services. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/fase/RomanJP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/RomanJP04
Gruia-Catalin Roman, Christine Julien, Jamie Payton:
A Formal Treatment of Context-Awareness. 12-36
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Egyed04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Egyed04
Alexander Egyed:
Consistent Adaptation and Evolution of Class Diagrams during Refinement. 37-53
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ZhaoX04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ZhaoX04
Jianjun Zhao, Baowen Xu:
Measuring Aspect Cohesion. 54-68
- view
  authority control:
- export record
  dblp key:
  - conf/fase/McComb04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/McComb04
Tim McComb:
Refactoring Object-Z Specifications. 69-83
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HuismanGSC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HuismanGSC04
Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov:
Checking Absence of Illicit Applet Interactions: A Case Study. 84-98
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BartheD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BartheD04
Gilles Barthe, Guillaume Dufay:
A Tool-Assisted Framework for Certified Bytecode Verification. 99-113
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HubbersP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HubbersP04
Engelbert Hubbers, Erik Poll:
Reasoning about Card Tears and Transactions in Java Card. 114-128
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChatleyEKMU04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChatleyEKMU04
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Predictable Dynamic Plugin Systems. 129-143
- view
  authority control:
- export record
  dblp key:
  - conf/fase/JungHR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JungHR04
Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath:
A Correlation Framework for the CORBA Component Model. 144-159
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChildsGRDDHJSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChildsGRDDHJSS04
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
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BreuP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BreuP04
Ruth Breu, Gerhard Popp:
Actor-Centric Modeling of User Rights. 165-179
- view
  authority control:
- export record
  dblp key:
  - conf/fase/KimRFL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KimRFL04
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li:
Modeling Role-Based Access Control Using Parameterized UML Models. 180-193
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Bocchi04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Bocchi04
Laura Bocchi:
Compositional Nested Long Running Transactions. 194-208
- view
  authority control:
- export record
  dblp key:
  - conf/fase/MoldtO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MoldtO04
Daniel Moldt, Jan Ortmann:
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. 209-213
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BardohlELT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BardohlELT04
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
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HamonR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HamonR04
Grégoire Hamon, John M. Rushby:
An Operational Semantics for Stateflow. 229-243
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChoppyR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChoppyR04
Christine Choppy, Gianna Reggio:
Improving Use Case Based Requirements Using Formally Grounded Specifications. 244-260
- view
  authority control:
- export record
  dblp key:
  - conf/fase/El-MaddahM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/El-MaddahM04
Islam A. M. El-Maddah, T. S. E. Maibaum:
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. 261-266
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HeG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HeG04
Haifeng He, Neelam Gupta:
Automated Debugging Using Path-Based Weakest Preconditions. 267-280
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LedruBMB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LedruBMB04
Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron:
Filtering TOBIAS Combinatorial Test Suites. 281-294
- view
  authority control:
- export record
  dblp key:
  - conf/fase/MucciniDR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MucciniDR04
Henry Muccini, Marcio S. Dias, Debra J. Richardson:
Systematic Testing of Software Architectures in the C2 Style. 295-309
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SaffreyC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SaffreyC04
Peter Saffrey, Muffy Calder:
Optimising Communication Structure for Model Checking. 310-323
- view
  authority control:
- export record
  dblp key:
  - conf/fase/XieLKB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/XieLKB04
Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne:
Translating Software Designs for Model Checking. 324-338
- view
  authority control:
- export record
  dblp key:
  - conf/fase/GhezziMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GhezziMP04
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco:
Enhancing Remote Method Invocation through Type-Based Static Analysis. 339-353
- view
  authority control:
- export record
  dblp key:
  - conf/fase/OlveczkyM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/OlveczkyM04
Peter Csaba Ölveczky, José Meseguer:
Specification and Analysis of Real-Time Systems Using Real-Time Maude. 354-358
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChoiCK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChoiCK04
Si Won Choi, Soo Ho Chang, Soo Dong Kim:
A Systematic Methodology for Developing Component Frameworks. 359-373
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SoraCVB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SoraCVB04
Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers:
Automating Decisions in Component Composition Based on Propagation of Requirements. 374-388

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.