Logo eprints

Items where Author is "Foster, Howard"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Book Section
Number of items: 2.

Book Section

Bruni, Roberto and Foster, Howard and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio A formal support to business and architectural design for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 133-152. ISBN 978-3-642-20400-5 (2011)

Argent-Katwala, Ashok and Clark, Allan and Foster, Howard and Gilmore, Stephen and Mayer, Philip and Tribastone, Mirco Safety and response-time analysis of an automotive accident assistance service. In: Leveraging Applications of Formal Methods, Verification and Validation. Communications in Computer and Information Science (17). Springer, pp. 191-205. (2008)

This list was generated on Fri Mar 29 10:05:08 2024 CET.