Browsing by Author "Colmenero Zito, Guillermo"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Pyspring
    (Universidad ORT Uruguay, 2021) Colmenero Zito, Guillermo; Souteras, Federico; Mai Morente, Pablo Daniel; Tricánico, Agustín
    Pyspring es una empresa de desarrollo de software a medida creada en 2012 y que trabaja fundamentalmente para emprendedores y pequeñas empresas estadounidenses. El presente plan de negocios de consultoría propone focalizar sus actividades en el sector de tecnología financiera o fintech y concentrar los esfuerzos de marketing en los principales centros financieros de Estados Unidos. Para ello sugiere una reestructuración de la empresa incorporando elementos del diseño organizacional para permitir un crecimiento ordenado, creando un departamento comercial e integrando a un director de operaciones que le permita asegurar un flujo constante de clientes y posibilite que el director general pueda gravitar de sus funciones actuales hacia actividades estratégicas
  • Thumbnail Image
    Item
    Verificación formal de algoritmos fundamentales para la Industria
    (Universidad ORT Uruguay, 2016) Colmenero Zito, Guillermo; Tasistro Souto, Álvaro Daniel; Moreno Negro, Silvana; Szasz Cerutti, Nora Adriana
    En este trabajo se estudia una metodología formal para el desarrollo de programas, basada en la Lógica de Hoare, utilizando el lenguaje Dafny, que tiene un compilador-verificador para este formalismo. Se presenta el desarrollo formal de una serie de algoritmos fundamentales desarrollados utilizando el método del Invariante, y verificados formalmente con la herramienta antes mencionada.