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 SoftwareRed de Universidades con Carreras en Informática (RedUNCI