Abstract is missing.
- Compositional dependability modeling using arcade: abstract for the keynote talkMariëlle Stoelinga. 1-2 [doi]
- Component-based semanticsPeter D. Mosses. 3-10 [doi]
- Typestate protocol specification in JMLTaekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang. 11-18 [doi]
- ESC4: a modern caching ESC for JavaPerry R. James, Patrice Chalin. 19-26 [doi]
- A framework for estimating the energy consumption induced by a distributed system's architectural styleChiyoung Seo, George Edwards, Daniel Popescu, Sam Malek, Nenad Medvidovic. 27-34 [doi]
- An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talkNatasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich. 35-36 [doi]