Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano

El presente trabajo tiene como objetivo determinar cuáles son las bondades de la implementación de técnicas formales para el desarrollo de software, enfocándose en los métodos denominados semi formales, ya que éstos suponen una aplicación más al "alcance" de la industria, debido a su menor...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aguirre, Fernando, Belloni, Edgardo A.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2013
Materias:
Ciencias Informáticas
Formal methods
Software development
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/27222
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-27222
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Formal methods
Software development
spellingShingle Ciencias Informáticas
Formal methods
Software development
Aguirre, Fernando
Belloni, Edgardo A.
Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
topic_facet Ciencias Informáticas
Formal methods
Software development
description El presente trabajo tiene como objetivo determinar cuáles son las bondades de la implementación de técnicas formales para el desarrollo de software, enfocándose en los métodos denominados semi formales, ya que éstos suponen una aplicación más al "alcance" de la industria, debido a su menor complejidad y costo. Para ello dos equipos desarrollarán un mismo componente de software. Uno de los cuales utilizará una técnica de desarrollo semi formal y se compararán los resultados, basados en la medición de las métricas previamente definidas. Se utilizará la herramienta de Microsoft Spec#, y el lenguaje de programación C# de la Suite Visual Studio .Net.
format Objeto de conferencia
Objeto de conferencia
author Aguirre, Fernando
Belloni, Edgardo A.
author_facet Aguirre, Fernando
Belloni, Edgardo A.
author_sort Aguirre, Fernando
title Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
title_short Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
title_full Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
title_fullStr Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
title_full_unstemmed Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
title_sort aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
publishDate 2013
url http://sedici.unlp.edu.ar/handle/10915/27222
work_keys_str_mv AT aguirrefernando aproximacionalosmetodosformalesunaexperienciaconunmetododedesarrolloliviano
AT belloniedgardoa aproximacionalosmetodosformalesunaexperienciaconunmetododedesarrolloliviano
bdutipo_str Repositorios
_version_ 1764820467675299843

Ejemplares similares