Prohlížení dle předmětu "constraints"

Zobrazují se záznamy 1-3 z 3

    • Avocado framework plugin for generating combinatorial interaction tests 

      Autor: Jan Richter; Vedoucí práce: Al-Beywanee Bestoun S. Ahmed; Oponent práce: Šebek Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-31)
      V posledních deseti letech si kombinatorické testování (CIT) získává pozornost díky efektivnímu nalézání chyb v komplexních systémech. CIT je široce používané ke generování testovacích scénářů pro softwérové systémy ze ...

    • Validátor anonymizačních modelů 

      Autor: Kateřina Kindlová; Vedoucí práce: Mlejnek Jiří; Oponent práce: Rybola Zdeněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-11)
      Tato bakalářská práce se zabývá návrhem a implementací validátoru anonymizačního modelu do nástroje GEM Winch. Rozšíření je napsané do konzolové aplikace Winch Actor v programovacím jazyce Groovy. Analytická část se zabývá ...

    • Vektorový grafický editor s podporou geometrických pravidel ve Pharo/Bloc 

      Autor: Vojtěch Balík; Vedoucí práce: Pergl Robert; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-19)
      Při tvorbě strukturovaných kreseb jako jsou diagramy, jsou mezi objekty často zamýšlené geometrické vztahy, nebo-li omezující podmínky, které by měly platit. V této práci nejdříve shrnuji existující metody řešení omezujících ...