default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th FASE 2004: Barcelona, Spain
- 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 - 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
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.
last updated on 2026-01-29 02:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
