© 2017

Formal Aspects of Component Software

14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

  • José Proença
  • Markus Lumpe
Conference proceedings FACS 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10487)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10487)

Table of contents

  1. Front Matter
    Pages I-X
  2. Yi Li, Meng Sun
    Pages 1-19
  3. Tobias Kappé, Farhad Arbab, Carolyn Talcott
    Pages 20-38
  4. Anastasia Mavridou, Valentin Rutz, Simon Bliudze
    Pages 39-57
  5. Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
    Pages 58-77
  6. Kyungmin Bae, Camilo Rocha
    Pages 78-97
  7. Paulina Paraponiari, George Rahonis
    Pages 98-116
  8. Sander de Putter, Anton Wijs
    Pages 117-136
  9. M. D. Harrison, M. Drinnan, J. C. Campos, P. Masci, L. Freitas, C. di Maria et al.
    Pages 137-154
  10. Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos
    Pages 155-161
  11. Haitham Bou-Ammar, Mohamad Jaber, Mohamad Nassar
    Pages 162-178
  12. Ligia Nistor, Jonathan Aldrich
    Pages 179-197
  13. Allberson B. de Oliveira Dantas, F. Heron de Carvalho Junior, Luis S. Barbosa
    Pages 198-215
  14. Heike Wehrheim
    Pages 216-232
  15. Juliana Bowles, Marco B. Caminati
    Pages 233-250
  16. Back Matter
    Pages 251-251

About these proceedings


This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.

The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.


artificial intelligence component-based modeling formal methods model checking model-based testing rewriting logic service composition SMT solver software architecture software verification software engineering

Editors and affiliations

  • José Proença
    • 1
  • Markus Lumpe
    • 2
  1. 1.University of MinhoBragaPortugal
  2. 2.Swinburne University of TechnologyHawthornAustralia

Bibliographic information