Formal Aspects of Component Software [E-Book] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky.
Braga, Christiano, (editor)
Ölveczky, Peter Csaba, (editor)
1st ed. 2016.
Cham : Springer, 2016
X, 331 p. 118 illus. in color. online resource.
Lecture notes in computer science ; 9539
Full Text
Table of Contents:
  • Quality of service to withstand faults
  • Component-based software development through research on mathematical models for components
  • Composition and adaptation
  • Rigorous approaches to verification, deployment, testing, and certification.