Filters: Author is Stephen Gilmore [Clear All Filters]
"Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems", Software and Systems Modeling, 2010.
"SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity", Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008.