Skip to main content
Book cover
  • Conference proceedings
  • © 2012

Formal Aspects of Component Software

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

Editors:

  1. Luís Soares Barbosa

    1. HASLab (High Assurance Software Laboratory) and Dept. of Informatics, Universidade do Minho, Braga, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Markus Lumpe

    1. Faculty of Information and Communication Technologies, Swinburne University of Technology, Hawthorn, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results

  • Fast-track conference proceedings

  • State-of-the-art research

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): FACS: International Conference on Formal Aspects of Component Software

Conference proceedings info: FACS 2010.

Sections

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-27269-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 74.99
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (20 papers)

  1. Front Matter

    PDF

  4. QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs

    • Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien
    Pages 34-52

  5. Monitoring Method Call Sequences Using Annotations

    • B. Nobakht, M. M. Bonsangue, F. S. de Boer, S. de Gouw
    Pages 53-70

  6. An Introduction to Pervasive Interface Automata

    • M. Calder, P. Gray, A. Miller, C. Unsworth
    Pages 71-87

  7. A Separation Logic for OO Programs

    • Liu Yijing, Qiu Zongyan
    Pages 88-105

  9. Distributed Adaption of Dining Philosophers

    • S. Andova, L. P. J. Groenewegen, E. P. de Vink
    Pages 125-144

  10. Component Service Promotion: Contracts, Mechanisms and Safety

    • Pascal André, Gilles Ardourel, Mohamed Messabihi
    Pages 145-162

  11. Systems-Theoretic View of Component-Based Software Development

    • Daniel Côté, Michel Embe Jiague, Richard St-Denis
    Pages 163-181

  12. Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework

    • Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
    Pages 182-199

  13. Using Temporal Logic for Dynamic Reconfigurations of Components

    • Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
    Pages 200-217

  15. Decomposition of Constraint Automata

    • Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
    Pages 237-258

  16. Graph Representation of Sessions and Pipelines for Structured Service Programming

    • Roberto Bruni, Zhiming Liu, Liang Zhao
    Pages 259-276

  19. Runtime Programming through Model-Preserving, Scalable Runtime Patches

    • Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova
    Pages 290-294

  20. Steps on the Road to Component Evolvability

    • Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
    Pages 295-299
Back to top

Other Volumes

  1. Formal Aspects of Component Software

Back to top

About this book

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.
Back to top

Keywords

  • aspect-oriented modeling
  • constraint automata ^
  • graph transformation
  • object orientation
  • run-time verification
Back to top

Editors and Affiliations

  • HASLab (High Assurance Software Laboratory) and Dept. of Informatics, Universidade do Minho, Braga, Portugal

    Luís Soares Barbosa

  • Faculty of Information and Communication Technologies, Swinburne University of Technology, Hawthorn, Australia

    Markus Lumpe

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-27269-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 74.99
Price excludes VAT (USA)
Learn about institutional subscriptions