Abstract is missing.
- Esterel v7: From Verified Formal Specification to Efficient Industrial DesignsGérard Berry. 1 [doi]
- Checking Memory Safety with BlastDirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. 2-18 [doi]
- Analyzing Web Service Based Business ProcessesAxel Martens. 19-33 [doi]
- Automatic Conformance Testing of Web ServicesReiko Heckel, Leonardo Mariani. 34-48 [doi]
- Termination Criteria for Model TransformationHartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay. 49-63 [doi]
- Ensuring Structural Constraints in Graph-Based Models with Type InheritanceGabriele Taentzer, Arend Rensink. 64-79 [doi]
- Modelling Parametric Contracts and the State Space of Composite Components by Graph GrammarsRalf Reussner, Jens Happe, Annegret Habel. 80-95 [doi]
- Improving the Build Architecture of Legacy C/C++ Software SystemsHomayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos. 96-110 [doi]
- Using Scenarios to Predict the Reliability of Concurrent Component-Based Software SystemsGenaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel. 111-126 [doi]
- Augmenting UML Models for Composition Conflict AnalysisAndreas Leicher, Jörn Guy Süß. 127-140 [doi]
- A Tool to Automate Component Clustering and IdentificationSoo Ho Chang, Man Jib Han, Soo Dong Kim. 141-144 [doi]
- Managing Variability Using Heterogeneous Feature Variation PatternsImed Hammouda, Juha Hautamäki, Mika Pussinen, Kai Koskimies. 145-159 [doi]
- Color-Blind Specifications for Transformations of Reactive Synchronous ProgramsKim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski. 160-174 [doi]
- On the Correspondence Between Conformance Testing and Regular InferenceTherese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen. 175-189 [doi]
- Observational Purity and EncapsulationDavid A. Naumann. 190-204 [doi]
- Towards a Theory on the Role of Ontologies in Software Engineering Problem SolvingJosé M. Cañete, Francisco José Galán Morillo. 205-219 [doi]
- A Framework for Counterexample Generation and ExplorationMarsha Chechik, Arie Gurfinkel. 220-236 [doi]
- Using Annotations to Check Structural Properties of ClassesMichael Eichberg, Thorsten Schäfer, Mira Mezini. 237-252 [doi]
- Improving System Understanding via Interactive, Tailorable, Source Code AnalysisVladimir Jakobac, Alexander Egyed, Nenad Medvidovic. 253-268 [doi]
- Kaveri: Delivering the Indus Java Program Slicer to EclipseGaneshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff. 269-272 [doi]
- Non-local Choice and Beyond: Intricacies of MSC Choice NodesArjan J. Mooij, Nicolae Goga, Judi Romijn. 273-288 [doi]
- Coverage Criteria for Testing of Object Interactions in Sequence DiagramsAtanas Rountev, Scott Kagan, Jason Sawin. 289-304 [doi]
- Tools for Secure Systems Development with UML: Security Analysis with ATPsJan Jürjens, Pasha Shabalin. 305-309 [doi]
- Maintaining Life Perspectives During the Refinement of UML Class StructuresAlexander Egyed, Wuwei Shen, Kun Wang. 310-325 [doi]
- Automated Compositional Proofs for Real-Time SystemsCarlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti. 326-340 [doi]
- Iterative Circular Coinduction for CoCasl in Isabelle/HOLDaniel Hausmann, Till Mossakowski, Lutz Schröder. 341-356 [doi]
- Formalisation and Verification of Java Card Security Properties in Dynamic LogicWojciech Mostowski. 357-371 [doi]