@article {1989,
	title = {Formal Aspects of Component Software},
	journal = {Science of Computer Programming},
	volume = {94},
	year = {2014},
	pages = {253- 254},
	publisher = {Elsevier},
	abstract = {<p>This issue includes extended versions of selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010) held in Guimar{\~a}es, Portugal on October 14{\textendash}16, 2010. The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues remain that challenge component-based software development theory and practice. To address these issues, FACS seeks to provide a forum for researchers and practitioners in the areas of component software and formal methods to foster a better understanding of the component-based paradigm and its applications as well as how formal methods can or should be used to make component-based software development succeed.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/1-s2.0-s0167642314001506-main.pdf},
	author = {Luis Soares Barbosa and Markus Lumpe}
}