國立虎尾科技大學 |

Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal Aspects of Component Software/ edited by Christiano Braga, Peter Csaba Ölveczky.
Reminder of title:	12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
other author:	Braga, Christiano.
Description:	X, 331 p. 118 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-319-28934-2
ISBN:	9783319289342

Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
Formal Aspects of Component Software12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /[electronic resource] :edited by Christiano Braga, Peter Csaba Ölveczky. - 1st ed. 2016. - X, 331 p. 118 illus. in color.online resource. - Programming and Software Engineering ;9539. - Programming and Software Engineering ;8987.

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.

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.

ISBN: 9783319289342

Standard No.: 10.1007/978-3-319-28934-2doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
LDR:02325nam a22004095i 4500 001 973716
003 DE-He213
005 20200705155540.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319289342 $9 978-3-319-28934-2
024 7 $a 10.1007/978-3-319-28934-2 $2 doi
035 $a 978-3-319-28934-2
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Formal Aspects of Component Software $h [electronic resource] : $b 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / $c edited by Christiano Braga, Peter Csaba Ölveczky.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a X, 331 p. 118 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 9539
505 0 $a 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.
520 $a 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.
650 0 $a Software engineering. $3 562952
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer programming. $3 527822
650 0 $a Management information systems. $3 561123
650 0 $a Computer science. $3 573171
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Management of Computing and Information Systems. $3 593928
700 1 $a Braga, Christiano. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1065675
700 1 $a Ölveczky, Peter Csaba. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1258526
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319289335
776 0 8 $i Printed edition: $z 9783319289359
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-28934-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)