Formal Aspects of Component Software

7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

  • Luís Soares Barbosa
  • Markus Lumpe
Conference proceedings FACS 2010

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

Table of contents

  1. Front Matter
  2. Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien
    Pages 34-52
  3. B. Nobakht, M. M. Bonsangue, F. S. de Boer, S. de Gouw
    Pages 53-70
  4. M. Calder, P. Gray, A. Miller, C. Unsworth
    Pages 71-87
  5. Liu Yijing, Qiu Zongyan
    Pages 88-105
  6. S. Andova, L. P. J. Groenewegen, E. P. de Vink
    Pages 125-144
  7. Pascal André, Gilles Ardourel, Mohamed Messabihi
    Pages 145-162
  8. Daniel Côté, Michel Embe Jiague, Richard St-Denis
    Pages 163-181
  9. Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
    Pages 182-199
  10. Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
    Pages 200-217
  11. Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
    Pages 237-258
  12. Roberto Bruni, Zhiming Liu, Liang Zhao
    Pages 259-276
  13. Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova
    Pages 290-294
  14. Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
    Pages 295-299
  15. Hugo Daniel Macedo, José Nuno Oliveira
    Pages 300-303
  16. Back Matter

About these proceedings


This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010.
The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.


aspect-oriented modeling constraint automata ^ graph transformation object orientation run-time verification

Editors and affiliations

  • Luís Soares Barbosa
    • 1
  • Markus Lumpe
    • 2
  1. 1.HASLab (High Assurance Software Laboratory) and Dept. of InformaticsUniversidade do MinhoBragaPortugal
  2. 2.Faculty of Information and Communication TechnologiesSwinburne University of TechnologyHawthornAustralia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-27268-4
  • Online ISBN 978-3-642-27269-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site