Skip to main content
Springer Nature Link
Log in

Formal Aspects of Component Software

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

  • Conference proceedings
  • © 2012

Overview

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)

Included in the following conference series:

Conference proceedings info: FACS 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Quantitative Analysis of Software: Challenges and Recent Advances

    • Sanjit A. Seshia
    Pages 1-5

  3. Analysis of Service Oriented Software Systems with the Conversation Calculus

    • Luís Caires, Hugo Torres Vieira
    Pages 6-33

  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

  8. Model Checking Adaptive Multilevel Service Compositions

    • Sabina Rossi
    Pages 106-124

  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

  14. Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries

    • D. Ramírez-Deantes, J. Correas, G. Puebla
    Pages 218-236

  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

  17. Will the Real Service Oriented Computing Please Stand Up?

    • Farhad Arbab
    Pages 277-285

  18. Performance Verification in Complex Enterprise-Level Component Systems

    • Ludwig Adam
    Pages 286-289

  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

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top