Now showing items 1-2 of 2

  • IDE for SCADA Development at CERN 

    Mareček, Matěj
    Cílem této magisterské práce je navrhnout a implementovat IDE (integrované vývojové prostředí), které zvýší efektivitu a bezpečnost vývoje pro SIMATIC WinCC Open Architecture. Tato práce je založena na výzkumu provedeném ...
  • Statická analýza programů v C ve Sparse a příbuzných nástrojích 

    Nagy, Martin
    Softwarová verifikace se postupně stává čím dál tím více důležitou součástí vývoje. Jejím cílem je zajištění kvality výstupního produktu. Navzdory tomuto ale problém psaní dobrých nástrojů pro statickou analýzu často spočívá ...