Počet záznamů: 1  

CoCoME in Fractal

  1. 1.
    0341253 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Bulej, Lubomír - Bureš, Tomáš - Coupaye, T. - Děcký, M. - Ježek, P. - Parízek, P. - Plášil, František - Poch, T. - Rivierre, N. - Šerý, O. - Tůma, P.
    CoCoME in Fractal.
    The Common Component Modeling Example. Berlin: Springer, 2008 - (Rausch, A.; Reussner, R.; Mirandola, R.; Plášil, F.), s. 357-387. Lecture Notes in Computer Science, 5153. ISBN 978-3-540-85288-9.
    [Dagstuhl Research Seminar for Component Modelling Example. Dagstuhl (DE), 01.08.2007-03.08.2007]
    Grant CEP: GA AV ČR 1ET400300504
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: software components * formal verification
    Kód oboru RIV: JC - Počítačový hardware a software

    This chapter presents our solution to the CoCoME assignment that is based on the Fractal component model. The solution involves (i) modeling architecture in Fractal ADL, (ii) specification of component behavior via behavior protocols, (iii) checking compatibility of components, (iv) verification of correspondence between component code and behavior specification, and (v) run-time monitoring of non-functional properties.
    Trvalý link: http://hdl.handle.net/11104/0184294

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.