Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2013-06-13T15:08:09Z
dc.date.available 2013-06-13T15:08:09Z
dc.date.issued 2013-06-13
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/27222
dc.description.abstract 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. es
dc.format.extent 486-489 es
dc.language es es
dc.subject Formal methods es
dc.subject Software development es
dc.title Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano es
dc.type Objeto de conferencia es
sedici.creator.person Aguirre, Fernando es
sedici.creator.person Belloni, Edgardo A. es
sedici.description.note Eje: Ingeniería de Software es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2013-04
sedici.relation.event XV Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (55.42Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)