000020590 001__ 20590
000020590 005__ 20170119130203.0
000020590 04107 $$aeng
000020590 046__ $$k2014-09-22
000020590 100__ $$aSanchez, Alejandro
000020590 24500 $$aSpecifying structural constraints of architectural patterns in the ARCHERY language

000020590 24630 $$n11.$$pProceedings of the international conference on numerical analysis and applied mathematics 2014
000020590 260__ $$b
000020590 506__ $$arestricted
000020590 520__ $$2eng$$asoftware architecture, architectural patterns, formal verification

000020590 540__ $$aText je chráněný podle autorského zákona č. 121/2000 Sb.
000020590 653__ $$a

000020590 7112_ $$aInternational conference on numerical analysis and applied mathematics 2014$$cRhodes (GR)$$d2014-09-22 / 2014-09-28$$gICNAAM2014
000020590 720__ $$aSanchez, Alejandro$$iRiesco, Daniel$$iBarbosa, Luis S.
000020590 8560_ $$ffischerc@itam.cas.cz
000020590 8564_ $$s89081$$uhttps://invenio.itam.cas.cz/record/20590/files/310008_1.pdf$$yOriginal version of the author's contribution as presented on USB, paper 310008_1.pdf.
000020590 962__ $$r20333
000020590 980__ $$aPAPER