Abstract is missing.
- Interaction and Coordination of Tools for Structured DataFarhad Arbab, Joost N. Kok. 1-8 [doi]
- Modelling Coordination in Biological SystemsDave Clarke, David Costa, Farhad Arbab. 9-25 [doi]
- A Rule Markup Language and Its Application to UMLJoost Jacob. 26-41 [doi]
- Using XML Transformations for Enterprise ArchitecturesAndries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre. 42-56 [doi]
- Classification and Utilization of Abstractions for OptimizationDaniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen. 57-73 [doi]
- On the Correctness of Transformations in Compiler Back-EndsWolf Zimmermann. 74-95 [doi]
- Accurate Theorem Proving for Program VerificationByron Cook, Daniel Kroening, Natasha Sharygina. 96-114 [doi]
- Designing Safe, Reliable Systems Using ScadeParosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund. 115-129 [doi]
- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial SettingsAnders Wall, Johan Andersson, Christer Norström. 130-145 [doi]
- Static Timing Analysis of Real-Time Operating System CodeDaniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper. 146-160 [doi]
- A Case Study in Domain-Customized Model Checking for Real-Time Component SoftwareMatthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff. 161-180 [doi]
- Models for Contract ConformanceSriram K. Rajamani, Jakob Rehof. 181-196 [doi]