Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. ZIMMEROVÁ, Barbora. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. Czech Republic: Masaryk University, Faculty of Informatics, 2008. PhD thesis.
      Název česky: Modelování a formální analýza komponentových systémů z pohledu interakce mezi komponentami
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: Component-based systems; component interaction; automata-based modelling; formal analysis; component equivalence; substitutability
      Mezinárodní význam: ano

      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:32.

    2006

    1. BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering. [New York, N.Y.?]: ACM, 2006, roč. 31, č. 2, s. 1-8. ISSN 0163-5948.
      Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
      RIV/00216224:14330/06:00015470 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Brim, Luboš (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: ADLs; Component-Interaction automata; component interaction; verification
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:27.
    2. ZIMMEROVÁ, Barbora. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany: GITO-Verlag, 2006, s. 34-36. ISBN 3-936771-87-1.
      Název česky: Formální analýza komponentových systému s ohledem na interakci mezi komponentami
      RIV/00216224:14330/06:00015552 Stať ve sborníku. Informatika. angličtina. Německo.
      Zimmerová, Barbora (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: component-based systems; formal analysis; component interaction
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:25.

    2005

    1. BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA: Department of Computer Science, Iowa State University, 2005, s. 31-38.
      URL
      Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
      RIV/00216224:14330/05:00012815 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Vařeková, Pavlína (203 Česká republika) -- Zimmerová, Barbora (203 Česká republika)
      Klíčová slova anglicky: ADLs; Component-Interaction automata; component interaction; verification
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 29. 11. 2006 14:53.
Zobrazeno: 10. 11. 2024 03:32