Abstract is missing.
- Distributed Information Management with XML and Web ServicesSerge Abiteboul. 1-11 [doi]
- A Formal Treatment of Context-AwarenessGruia-Catalin Roman, Christine Julien, Jamie Payton. 12-36 [doi]
- Consistent Adaptation and Evolution of Class Diagrams during RefinementAlexander Egyed. 37-53 [doi]
- Measuring Aspect CohesionJianjun Zhao, Baowen Xu. 54-68 [doi]
- Refactoring Object-Z SpecificationsTim McComb. 69-83 [doi]
- Checking Absence of Illicit Applet Interactions: A Case StudyMarieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov. 84-98 [doi]
- A Tool-Assisted Framework for Certified Bytecode VerificationGilles Barthe, Guillaume Dufay. 99-113 [doi]
- Reasoning about Card Tears and Transactions in Java CardEngelbert Hubbers, Erik Poll. 114-128 [doi]
- Predictable Dynamic Plugin SystemsRobert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel. 129-143 [doi]
- A Correlation Framework for the CORBA Component ModelGeorg Jung, John Hatcliff, Venkatesh Prasad Ranganath. 144-159 [doi]
- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based SystemsAdam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh. 160-164 [doi]
- Actor-Centric Modeling of User RightsRuth Breu, Gerhard Popp. 165-179 [doi]
- Modeling Role-Based Access Control Using Parameterized UML ModelsDae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li. 180-193 [doi]
- Compositional Nested Long Running TransactionsLaura Bocchi. 194-208 [doi]
- DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri NetsDaniel Moldt, Jan Ortmann. 209-213 [doi]
- Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model ManipulationRoswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer. 214-228 [doi]
- An Operational Semantics for StateflowGrégoire Hamon, John M. Rushby. 229-243 [doi]
- Improving Use Case Based Requirements Using Formally Grounded SpecificationsChristine Choppy, Gianna Reggio. 244-260 [doi]
- The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and DesignIslam A. M. El-Maddah, T. S. E. Maibaum. 261-266 [doi]
- Automated Debugging Using Path-Based Weakest PreconditionsHaifeng He, Neelam Gupta. 267-280 [doi]
- Filtering TOBIAS Combinatorial Test SuitesYves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron. 281-294 [doi]
- Systematic Testing of Software Architectures in the C2 StyleHenry Muccini, Marcio S. Dias, Debra J. Richardson. 295-309 [doi]
- Optimising Communication Structure for Model CheckingPeter Saffrey, Muffy Calder. 310-323 [doi]
- Translating Software Designs for Model CheckingFei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne. 324-338 [doi]
- Enhancing Remote Method Invocation through Type-Based Static AnalysisCarlo Ghezzi, Vincenzo Martena, Gian Pietro Picco. 339-353 [doi]
- Specification and Analysis of Real-Time Systems Using Real-Time MaudePeter Csaba Ölveczky, José Meseguer. 354-358 [doi]
- A Systematic Methodology for Developing Component FrameworksSi Won Choi, Soo Ho Chang, Soo Dong Kim. 359-373 [doi]
- Automating Decisions in Component Composition Based on Propagation of RequirementsIoana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers. 374-388 [doi]