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

Document

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

Aguirre, Fernando et al · SEDICI UNLP · 2013

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Aguirre, Fernando et al

Editorial

SEDICI UNLP

Año

2013

Idioma

Español

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

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. Eje: Ingeniería de Software Red de Universidades con Carreras en Informática (RedUNCI)

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Aguirre, F. E. A. (2013). Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/27222

MLA

Aguirre, Fernando et al. Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano. SEDICI UNLP, 2013. http://sedici.unlp.edu.ar/handle/10915/27222.

Chicago

Aguirre, Fernando et al. 2013. Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/27222.

Harvard

Aguirre, F. E. A. 2013, Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/27222 [Accessed 6 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

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

Autor / colaboradores: Aguirre, Fernando et al

Editorial: SEDICI UNLP

Año de publicación: 2013

Idioma: Español

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Formal methods; Software development