Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Saved in:
| Meeting name: | FACS (Symposium) (14th : 2017 : Braga, Portugal) |
|---|---|
| Imprint: | Cham, Switzerland : Springer, 2017. |
| Description: | 1 online resource (x, 251 pages) : illustrations |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 10487 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10487. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11361708 |
| Summary: | This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. <p>The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.</p> |
|---|---|
| Item Description: | International conference proceedings. Includes author index. |
| Physical Description: | 1 online resource (x, 251 pages) : illustrations |
| ISBN: | 9783319680347 331968034X 3319680331 9783319680330 |
| ISSN: | 0302-9743 ; |