El documento introduce el tema de la ingeniería de software. Define la ingeniería de software como el desarrollo sistemático, disciplinado y cuantificable de software. Explica que la ingeniería de software implica el desarrollo de múltiples versiones de software por equipos de ingenieros para hacer frente a la complejidad. Finalmente, destaca que la ingeniería de software se basa en la lógica y las matemáticas, a diferencia de otras ingenierías que se basan en la física.

1. INGENIERIA DE SOFTWARE
INTRODUCCION
Asignatura: Ingeniería de Software
Docente: David Enrique Mendoza Gutiérrez
Sebastian Ripalda

2. Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
Sebastián Ripalda
¿Qué es la Ingeniería de Software?
Nato1968 (organización de tratado del atlántico norte)
para que algo sea calificado en ingeniería de software tiene que tener enfoque sistemático,
disciplinado y cuantificable del desarrollo operación y mantenimiento de software. Al decir
disciplinado quiere decir que se que el equipo de desarrollo se mantiene dentro de ciertas reglas de
desarrollo y cuantificable significa que cada progreso cada tarea se puede medir se puede
cuantifica algo parecido a un numero no tan preciso, pero se intenta determinar el avance o el
retroceso o falta de avance en el proyecto.
Parnas1978(Investigador norteamericano)
La construcción de múltiples versiones de un software llevada a cabo por múltiples personas.
Quiere decir que un programa que hacemos nosotros solos una vez no seria el objeto del estudio
se requeriría un equipo de gente que no solo desarrollan una sola versión sino varias versiones, al
hablar de varias versiones no hablamos del desarrollo si no también del mantenimiento lo. Y si es
desarrollados por varias personas el desarrollo es desierta envergadura.
Ghezzi 1991
Construcción de software de una envergadura o complejidad de tales que debe ser
construido por equipos de ingenieros.

3. Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
Sebastián Ripalda
¿Qué es la Ingeniería de Software?
Jackson 1998
La ingeniería Tradicional es altamente especializada y se basa e colecciones de deseos
estándar o normalizados ¿Hay especialidades en la informática o cualquiera hace cualquier
cosa? ¿Se basa la producción de software en diseños estándar? ¿Puede?
Dice que una persona puede desarrollar cualquier tipo de programa en cualquier contexto y
cualquier circunstancia formarse en una área del desarrollo de ingeniería de software

4. Sebastián Ripalda
Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
¿Qué es lo que hace un Ing. de
software?
No construye el hardware, sino el comportamiento y las propiedades que lo
harán útil para algo especifico.
Desarrollar programas que hace una máquina de propósito general en una
maquina en propósitos específicos.
También el ing de software documenta descripciones de ese software.
Escribir lo que uno esta haciendo diferentes documentos sobre el
programa que se está desarrollando el código fuente es una de la
descripción que debería describir no la única. Es escribir diferentes
descripciones que nos dan diferentes visiones sobre el programa que se
esta desarrollando.
También es verificar las descripciones, es verificar que esa descripción
cumples ciertas propiedades.

5. Sebastián Ripalda Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
¿Cuáles son las descripciones
fundamentales?
Requerimientos. - una descripción en el lenguaje natural español, inglés, de lo que
el software debería hacer de las restricciones bajo las cuales debería ejecutarse
Especificaciones. – Es básicamente una descripción formal de lo que el programa
debería hacer esta escrita en una notación matemática en alguna forma lógica
que no es exactamente un código fuente que tampoco que es el lenguaje de los
humanos.
Diseño.- Es dividir el programa en partes de manera tal que se puede desarrollar
cada parte de manera independiente de las de mas y después poder integrar las
partes para que funcionen como un todo la idea es no escribir un programa
monolítico donde escribimos el programa en una sola función en una sola clase
si no que se lo divide en partes para poder desarrollar cada parte independiente
a las demás para poner un desarrollador a cada parte para si a cortar los plazos
de desarrollo si no también el diseño es importante para poder dominar la
complejidad de todo un programa. Para que sea fácil de desarrollar fácil de
entender.

6. Sebastián Ripalda
Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
¿Que debe saber un ingeniero de
software?
Dominar a fondo las técnicas de descripción, dominar los lenguajes formales, pero debería dominar otros
lenguajes formales que no son ejecutables pero que nos ayudan a describir programas mas
refinadas
Moverse en distintos modelos de abstracción, debe ser capas de ver un software como un conjunto de
requerimientos también debe ser capas de ver un software como una especificación en matemáticas
o en lógica y debe ser capas de describir programas en lenguajes formales y capas de verificar
propiedades de esos modelos.
Documentar y validar los requerimientos del usuario
Escribir un modelo abstracto semiformal del diseño es decir descomponer el programa en diferentes
partes que va a desarrollar independientes de las demás que algún momento las va a integrar a un
programa completo
Debe ser capas de escribir una especificación funcional abstracta y formal del programa es decir una
fórmula de matemática que representa al programa, aunque esta fórmula de matemáticas no sea
ejecutable y finalmente debe ser capas de ver que el programa satisface el diseño y la especificación
funcional.

7. Sebastián Ripalda
Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
¿Dónde están las dificultades al
desarrollar software?
La parte difícil de desarrollar de software es especificarlo, diseñarlo y verificarlo y no la
programación y así la programación también se les hace difícil por que no han hecho una
especificación y un diseño como deberían hacerlo, lo difícil para desarrollar software es
saber que hay que programar y como dividirlo en pequeñas partes para dominar su
complejidad y no en la tarea de programar esas pequeñas partes una vez saben lo que
hay que programar y lo hacen bien y rápidamente.

8. Sebastián Ripalda Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
¿Dónde están las dificultades al
desarrollar software?
La parte difícil de desarrollar de software es especificarlo, diseñarlo y verificarlo y no la
programación y así la programación también se les hace difícil por que no han hecho una
especificación y un diseño como deberían hacerlo, lo difícil para desarrollar software es
saber que hay que programar y como dividirlo en pequeñas partes para dominar su
complejidad y no en la tarea de programar esas pequeñas partes una vez saben lo que
hay que programar y lo hacen bien y rápidamente.

9. Sebastián Ripalda
Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
¿Por que es esencialmente diferentes
a las otras ingenierías?
La ingeniería de software es esencialmente a las otras por que la base teórica de la
ingeniería de software es la lógica formal la programación es una forma de lógica por lo
tanto lo que subyace a la ingeniería de software basada en la lógica o en la matemática y
no una ciencia basada en la física por que las otras ingenierías están de una u otra
forma basadas en las físicas eso hace que haya una diferencia importante la lógica y la
matérica son o que se llama ciencia formales la física, la geología la química son
ciencias fácticas.
Unas de las cuestiones que hace que emerge de estas diferencias entre el problema y la
solución en mayor parte de las ingenierías lo difícil dado un problema encontrar la
solución mas adecuada en la ingeniera de software en cambio lo difícil es determinar el
problema no tanto determinar la solución.

10. Sebastián Ripalda
Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
¿Qué son los métodos formales?
Son lenguajes, técnicas, herramientas basadas en la matemática y/o lógica para describir y
verificar sistemas
¿Qué comprenden los métodos
formales ?
Lenguajes de especificaciones formal
Verificación de modelos
Prueba de teoremas de forma automática y de forma asistida
Testing basados en modelos no el tradicional sino partiendo de un modelo formal del
programa
Calculo de refinamiento consiste en dada una formula no ejecutable que representa un
programa tratar de refinarla para ir convirtiéndola de madera controlada en un programa que
sea ejecutable

11. Sebastian Ripalda
Ing. Daniel Enrique Mendoza Gutiérrez
Ingeniería de software
¿Qué son los lenguajes de
especificación formal?
Tiene una sintaxis formal y estandarizada
Una semántica formal descripta en términos operativos denotaciones o lógicos
Un aparato deductivo que permite demostrar teoremas a partir de formulas en ese lenguaje
Los lenguajes de especificación formal se usan casi siempre para escribir la especificación
funcional de un programa

12. Daniel Enrique Mendoza Gutiérrez
GRACIAS
Sebastián Ripalda