Formal aspects of component software: [electronic resource] :: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /: Christiano Braga, Peter Csaba Ölveczky (eds.).

Braga, Christiano; Ölveczky, Peter Csaba,

doi:10.1007/978-3-319-28934-2

Formal aspects of component software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers / Christiano Braga, Peter Csaba Ölveczky (eds.).

FACS (Symposium) (12th : 2015 : Niterói, Brazil); Braga, Christiano (Computer scientist), editor.; Ölveczky, Peter Csaba, editor.

2016

QA76.9.F67

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Formal aspects of component software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers / Christiano Braga, Peter Csaba Ölveczky (eds.).

Meeting Name

FACS (Symposium) (12th : 2015 : Niterói, Brazil)

ISBN

9783319289342 (electronic book)
3319289349 (electronic book)
9783319289335
3319289330

DOI

https://doi.org/10.1007/978-3-319-28934-2

Published

Cham : Springer, 2016.

Language

English

Description

1 online resource (x, 331 pages) : color illustrations.

Item Number

10.1007/978-3-319-28934-2 doi

Call Number

QA76.9.F67

Dewey Decimal Classification

004.01/51

Summary

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, component-based software development through research on mathematical models for components, composition and adaptation; rigorous approaches to verification, deployment, testing, and certification.

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed February 4, 2016).

Added Author

Braga, Christiano (Computer scientist), editor.
Ölveczky, Peter Csaba, editor.

Series

Lecture notes in computer science ; 9539.
LNCS sublibrary. SL 2, Programming and software engineering.

Available in Other Form

Print version: 9783319289335