s 2010

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)

HAPPE, Jens a Barbora BÜHNOVÁ

Základní údaje

Originální název

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)

Název česky

Sborník 7. mezinárodního workshopu Formal Engineering approaches to Software Components and Architectures (FESCA'10)

Autoři

HAPPE, Jens a Barbora BÜHNOVÁ

Vydání

Online, 140 s. 2010

Nakladatel

Elsevier Science Publishers

Další údaje

Jazyk

angličtina

Typ výsledku

Editorství tematického sborníku, editorství monotematického čísla odborného časopisu

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Kypr

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/10:00047831

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

Software architectures; formal methods; modelling languages; quality attributes
Změněno: 22. 4. 2011 23:42, doc. Ing. RNDr. Barbora Bühnová, Ph.D.

Anotace

ORIG CZ

V originále

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.

Česky

Sborník obsahuje přijaté články (editované představiteli programového výboru Jensem Happe a Barborou Buhnovou) workshopu FESCA 2010, konaného 27.3.2010 v Paphosu, na Kypru, jako přidružená akce konference ETAPS.