"14330" . . . . . . . "Software architectures; formal methods; modelling languages; quality attributes"@en . . "I" . "2"^^ . . "[9D9F2DE384E0]" . . . "Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)" . "The proceedings include the accepted regular papers (edited by the PC chairs Jens Happe and Barbora Buhnova) of the FESCA 2010 workshop, held on 27th March 2010, in Paphos, Cyprus, as a satellite event of ETAPS conference." . . "B\u00FChnov\u00E1, Barbora" . . "282380" . "Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)"@en . "Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)" . "The proceedings include the accepted regular papers (edited by the PC chairs Jens Happe and Barbora Buhnova) of the FESCA 2010 workshop, held on 27th March 2010, in Paphos, Cyprus, as a satellite event of ETAPS conference."@en . . "Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)"@en . "RIV/00216224:14330/10:00047831" . "RIV/00216224:14330/10:00047831!RIV11-MSM-14330___" . . "1"^^ . "Happe, Jens" . .