TY  - BOOK
AU  - Barbosa,Luís Soares
AU  - Lumpe,Markus
ED  - SpringerLink (Online service)
TI  - Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783642272691
AV  - QA76.758 
U1  - 005.1 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Mathematical Logic and Formal Languages
KW  - Programming Techniques
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-27269-1
ER  -