Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers - Programming and Software Engineering 7684 (Paperback)
  • Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers - Programming and Software Engineering 7684 (Paperback)
zoom

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers - Programming and Software Engineering 7684 (Paperback)

(editor), (editor)
£41.99
Paperback 277 Pages / Published: 09/01/2013
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642358609
Number of pages: 277
Weight: 444 g
Dimensions: 235 x 155 x 15 mm
Edition: 2013 ed.

You may also be interested in...

The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Essential Scrum
Added to basket
£36.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
The Mythical Man-Month
Added to basket
Peopleware
Added to basket
£33.49
Paperback
Test Driven Development
Added to basket
TestNG Beginner's Guide
Added to basket
The Clean Coder
Added to basket
£33.49
Paperback
Software Testing
Added to basket
Implementing Domain-Driven Design
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
Domain-Driven Design
Added to basket
£55.49
Hardback
Impact Mapping
Added to basket
£9.99
Paperback
Agile Testing
Added to basket
£44.49
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.