EPTCS 108 - FESCA 2013
Barbora Buhnova, Lucia Happe, Jan Kofron (Eds.): Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures. 2013 EPTCS 108 [ contents ]- Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace: Extensible Technology-Agnostic Runtime Verification. ... 1-15
- Sven Sieverding, Christian Ellen, Peter Battram: Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets. ... 17-31
- Davide Arcelli, Vittorio Cortellessa: Software model refactoring based on performance analysis: better working on software or performance side? ... 33-47
- Helena Gruhn, Sabine Glesner: Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. ... 49-62
- Maribel Fernández, Jeffrey Terrell: Assembling the Proofs of Ordered Model Transformations. ... 63-77
- Jan Olaf Blech: Towards a Framework for Behavioral Specifications of OSGi Components. ... 79-93
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team