Browsing Статті з наукових журналів та збірок by Subject "design"

Now showing items 1-2 of 2

    • Event-B patterns for developing FPGA-BASED hardware 

      Ostroumov, S.В.; Laibinis, L.V.; Troubitsyna, E.A. (ХАІ, 2010)
      The paper describes the first step of methodology for designing dependable hardware which is based on field programmable gate array technology. This step means the development of patterns using Event-B language useful ...

    • Повторное использование структур баз данных 

      Фурманов, А.А.; Трубилко, А.В. (ХАИ, 2015)
      Рассмотрен классический основанный на процессе нормализации подход к проектированию реляционных баз данных. Выделен и классифицирован ряд шаблонов структур баз данных, предназначенных для повторного использования в ...