Abstract is missing.
- Asynchronous Session Types and Progress for Object Oriented LanguagesMario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. 1-31 [doi]
- KeY: A Formal Method for Object-Oriented SystemsWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt. 32-43 [doi]
- Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model CheckingL. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel. 44-58 [doi]
- Model Checking of Extended OCL Constraints on UML Models in SOCLeJohn Mullins, Raveca Oarga. 59-75 [doi]
- Analysis of UML Activities Using Dynamic Meta ModelingGregor Engels, Christian Soltenborn, Heike Wehrheim. 76-90 [doi]
- Distributed Applications Implemented in Maude with Parameterized SkeletonsAdrián Riesco, Alberto Verdejo. 91-106 [doi]
- On Formal Analysis of OO Languages Using Rewriting Logic: Designing for PerformanceMark Hills, Grigore Rosu. 107-121 [doi]
- Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time MaudePeter Csaba Ölveczky, Stian Thorvaldsen. 122-140 [doi]
- Adaptation of Open Component-Based SystemsPascal Poizat, Gwen Salaün. 141-156 [doi]
- A Representation-Independent Behavioral Semantics for Object-Oriented ComponentsArnd Poetzsch-Heffter, Jan Schäfer. 157-173 [doi]
- A Formal Language for Electronic ContractsCristian Prisacariu, Gerardo Schneider. 174-189 [doi]
- A Mechanized Model of the Theory of ObjectsLudovic Henrio, Florian Kammüller. 190-205 [doi]
- Pict Correctness RevisitedPhilippe Bidinger, Adriana B. Compagnoni. 206-220 [doi]
- A Refinement Method for Java ProgramsHolger Grandy, Kurt Stenzel, Wolfgang Reif. 221-235 [doi]
- Refactoring Object-Oriented Specifications with Data and ProcessesThomas Ruhroth, Heike Wehrheim. 236-251 [doi]
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java ProgramsFrank S. de Boer. 252-268 [doi]
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing PreordersMarco Bernardo, Luca Padovani. 269-284 [doi]
- A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded SystemsMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian. 285-300 [doi]
- On Resource-Sensitive Timed Component ConnectorsSun Meng, Farhad Arbab. 301-316 [doi]