Formal Aspects of Component Software

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

  • José Luiz Fiadeiro
  • Zhiming Liu
  • Jinyun Xue
Conference proceedings FACS 2013

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Jayadev Misra
    Pages 5-12
  3. Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou
    Pages 13-22
  4. W. Bai, E. M. Tadjouddine, T. R. Payne, S. U. Guan
    Pages 23-40
  5. Jiří Barnat, Nikola Beneš, Tomáš Bureš, Ivana Černá, Jaroslav Keznikl, František Plášil
    Pages 41-60
  6. Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim. G. Larsen, Marius Mikučionis, Ulrik Nyman et al.
    Pages 61-78
  7. Oscar Carrillo, Samir Chouali, Hassan Mountassir
    Pages 79-99
  8. Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli
    Pages 100-118
  9. Ruzhen Dong, Naijun Zhan
    Pages 119-136
  10. Gregor Gössler, Daniel Le Métayer
    Pages 157-173
  11. Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil K. Ghosh, Lihua Xu, Huibiao Zhu
    Pages 215-233
  12. Olga Kouchnarenko, Jean-François Weber
    Pages 234-253
  13. Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
    Pages 254-272
  14. Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
    Pages 291-309
  15. Meriem Ouederni, Gwen Salaün, Tevfik Bultan
    Pages 310-328
  16. Arpit Sharma, Joost-Pieter Katoen
    Pages 329-347
  17. Back Matter
    Pages 385-385

About these proceedings


This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.


distributed systems e-commerce formal software verification model-driven software engineering software architecture

Editors and affiliations

  • José Luiz Fiadeiro
    • 1
  • Zhiming Liu
    • 2
  • Jinyun Xue
    • 3
  1. 1.Royal Holloway University of LondonEghamUnited Kingdom
  2. 2.Birmingham City UniversityBirminghamUnited Kingdom
  3. 3.Jiangxi Normal University, Lab. High-Performance ComputingNanchangChina

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-07601-0
  • Online ISBN 978-3-319-07602-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment