#LyX 2.3 created this file. For more info see http://www.lyx.org/
\lyxformat 544
\begin_document
\begin_header
\save_transient_properties true
\origin unavailable
\textclass book
\use_default_options true
\begin_modules
algorithm2e
\end_modules
\maintain_unincluded_children false
\language spanish
\language_package default
\inputencoding auto
\fontencoding global
\font_roman "default" "default"
\font_sans "default" "default"
\font_typewriter "default" "default"
\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
\use_microtype false
\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 0
\bibtex_command default
\index_command default
\paperfontsize default
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 1
\use_package cancel 1
\use_package esint 1
\use_package mathdots 1
\use_package mathtools 1
\use_package mhchem 1
\use_package stackrel 1
\use_package stmaryrd 1
\use_package undertilde 1
\cite_engine basic
\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\paperorientation portrait
\suppress_date false
\justification true
\use_refstyle 1
\use_minted 0
\index Index
\shortcut idx
\color #008000
\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
\is_math_indent 0
\math_numbering_side default
\quotes_style french
\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
\html_math_output 0
\html_css_as_file 0
\html_be_strict false
\end_header

\begin_body

\begin_layout Standard
La 
\series bold
obtención de requisitos
\series default
 consiste en determinar los requisitos del sistema a desarrollar a partir
 de los objetivos generales del software, el dominio del problema, los involucra
dos en el proceso, el entorno de operación, el entorno de la organización,
 etc., mediante entrevistas, escenarios, prototipos, reuniones de grupo,
 observación, etc., para llegar a un conocimiento suficiente del problema
 a resolver.
\end_layout

\begin_layout Section
Técnicas intuitivas
\end_layout

\begin_layout Subsection
Entrevistas
\end_layout

\begin_layout Standard
Constan de:
\end_layout

\begin_layout Enumerate

\series bold
Planificación.

\series default
 Se establece qué datos obtener de qué personas, cuándo y dónde.
\end_layout

\begin_layout Enumerate

\series bold
Preparación.

\series default
 Se obtiene información externa útil para elaborar preguntas guía.
\end_layout

\begin_layout Enumerate

\series bold
Inicio.

\series default
 Se expone cómo se hará la entrevista, los objetivos y la duración.
\end_layout

\begin_layout Enumerate

\series bold
Desarrollo.

\series default
 Se hacen las preguntas y se recaba información.
\end_layout

\begin_layout Enumerate

\series bold
Cierre.

\series default
 Se resume la información para asegurarnos de que tenemos la que queríamos.
\end_layout

\begin_layout Enumerate

\series bold
Conclusiones.

\series default
 Se resume formalmente la entrevista, incluyendo conclusiones a confirmar
 en otras entrevistas.
\end_layout

\begin_layout Standard
Se puede preguntar sobre detalles específicos, sobre la visión de futuro
 que el entrevistado tiene de algo, sobre ideas alternativas, sobre una
 solución mínimamente aceptable y sobre otras fuentes de información.
\end_layout

\begin_layout Standard
Al haber pocas personas con mucha información sobre el sistema a construir,
 la relación es más personal y directa, pero se requiere mucho tiempo y
 es más difícil detectar errores ya que solo en analista revisa los resultados.
\end_layout

\begin_layout Subsection

\lang english
FAST
\end_layout

\begin_layout Standard
Las 
\series bold
\emph on
\lang english
Facilitated Application Specification Techniques
\series default
\emph default
\lang spanish
 son técnicas de obtención de requisitos orientadas a equipos de trabajo.
\end_layout

\begin_layout Standard
El equipo escribe un 
\series bold
documento de solicitud de producto
\series default
 de 1–2 hojas.
 Entonces se establece una fecha, hora y lugar para la próxima reunión y
 se elige a los asistentes entre usuarios finales, clientes y productores,
 a los que se les hace llegar la solicitud de producto y se les pide que
 preparen:
\end_layout

\begin_layout Itemize
Una 
\series bold
lista de objetos
\series default
 que forman parte del entorno del nuevo producto.
\end_layout

\begin_layout Itemize
Una 
\series bold
lista de servicios
\series default
 (procesos o funciones) que manipulen o interactúen con los objetos.
\end_layout

\begin_layout Itemize
Una 
\series bold
lista de restricciones
\series default
 de coste, tamaño, rendimiento y reglas de negocio.
\end_layout

\begin_layout Standard
Se informa a los asistentes de que las listas no tienen que ser exhaustivas,
 pero que tienen que reflejar su perspectiva del sistema.
 Además, se elige a un cliente o productor como moderador de la reunión.
\end_layout

\begin_layout Standard

\series bold
JAD
\series default
 (
\series bold
\emph on
\lang english
Joint Application Development
\series default
\emph default
\lang spanish
) es una 
\lang english
FAST
\lang spanish
 que, basándose en que quien mejor conoce un trabajo es quien lo desempeña,
 quien mejor conoce las posibilidades del software es el equipo de desarrollo
 y los sistemas de información y procesos de negocio trascienden las fronteras
 de un único departamento o sección, busca que los participantes en los
 grupos que diseñan los sistemas trabajen de igual a igual.
\end_layout

\begin_layout Standard
Se hacen reuniones grupales entre usuarios y analistas en 2–4 días, con
 2 horas por reunión, con ayudas visuales para mejorar la comunicación y
 trabajando directamente sobre el documento de requisitos a generar.
 Se empieza con un documento de trabajo y se discute hasta aprobar el documento
 de requisitos al final.
\end_layout

\begin_layout Standard
La participación de los usuarios con los JAD es mayor que con las entrevistas,
 la satisfacción es mayor y se ahorra tiempo, pero los JAD son más difíciles
 de llevar a la práctica ya que hace falta más organización para gestionar
 reuniones de más personas, entre 5 y 25.
\end_layout

\begin_layout Subsection
Casos de uso
\end_layout

\begin_layout Standard
Son descripciones genéricas de uso de un sistema por parte de un actor para
 conseguir resultados u objetivos, y representan parte de, uno o varios
 requisitos funcionales.
 Se representan como en PDS.
\end_layout

\begin_layout Standard
Pueden usarse como ayuda para descubrir requisitos que luego se convertirán
 en requisitos textuales.
 Los documentos de requisitos pueden contener diagramas de casos de uso
 como descripción gráfica complementaria, y debe documentarse la trazabilidad
 entre requisitos y casos de uso.
\end_layout

\begin_layout Standard
Los casos de uso pueden dirigir el desarrollo, expresándose en términos
 de un modelo de objetos del dominio para luego estructurarse con un modelo
 de análisis y realizarse en un modelo de diseño, que se implementa en un
 modelo de implementación (código) que se prueba en un modelo de pruebas
 (
\emph on
\lang english
tests
\emph default
\lang spanish
).
\end_layout

\begin_layout Subsection
Escenarios
\end_layout

\begin_layout Standard
Un 
\series bold
escenario
\series default
 o 
\series bold
instancia de caso de uso
\series default
 es una secuencia específica de acciones e interacciones concretas entre
 los actores y el sistema.
 Consta de:
\end_layout

\begin_layout Enumerate
Descripción de lo que el sistema y los usuarios esperan al principio del
 escenario.
\end_layout

\begin_layout Enumerate
Descripción del flujo normal de eventos en el escenario.
\end_layout

\begin_layout Enumerate
Descripción de lo que puede fallar y cómo se maneja esto.
\end_layout

\begin_layout Enumerate
Información de otras actividades que pueden ocurrir a la vez.
\end_layout

\begin_layout Enumerate
Descripción del estado del sistema cuando el escenario termina.
\end_layout

\begin_layout Standard
Un caso de uso puede definirse como un conjunto de escenarios de éxito y
 fallos relacionados en los que los actores usan un sistema para alcanzar
 un mismo objetivo o resultado.
\end_layout

\begin_layout Section
Técnicas formales
\end_layout

\begin_layout Standard
El ISO/IEC/IEEE 24765:2017 define 
\series bold
especificación formal
\series default
 como:
\end_layout

\begin_layout Enumerate
Especificación usada para probar matemáticamente la validez de una implementació
n o derivar matemáticamente la implementación.
\end_layout

\begin_layout Enumerate
Especificación escrita en una notación formal, a menudo para ser usada en
 pruebas de corrección.
\end_layout

\begin_layout Enumerate
Especificación escrita y aprobada de acuerdo con algunos estándares establecidos.
\end_layout

\begin_layout Standard
Los 
\series bold
modos
\series default
 o 
\series bold
niveles de aplicación
\series default
 de las especificaciones formales se refieren a que estas se pueden aplicar
 o no para generar ejecutables, y para demostrar propiedades, manualmente
 o con pruebas generadas automáticamente.
\end_layout

\begin_layout Subsection
Notaciones formales
\end_layout

\begin_layout Standard
Una 
\series bold
notación formal
\series default
 está formada por:
\end_layout

\begin_layout Enumerate
Una 
\series bold
sintaxis
\series default
, un método de decisión de la corrección gramatical de sus representaciones.
\end_layout

\begin_layout Enumerate
Una 
\series bold
semántica
\series default
, una serie de reglas para interpretar las representaciones de forma precisa
 y significativa en el dominio considerado.
\end_layout

\begin_layout Enumerate
Una 
\series bold
teoría de prueba
\series default
, una serie de reglas para inferir información útil a partir de la especificació
n.
\end_layout

\begin_layout Standard
Hay dos enfoques principales para notaciones formales:
\end_layout

\begin_layout Itemize

\series bold
Algebraico:
\series default
 Se describe el sistema en función de operaciones y sus relaciones.
 Las interfaces se suelen describir en las siguientes secciones:
\end_layout

\begin_deeper
\begin_layout Itemize

\series bold
Introducción,
\series default
 con los 
\series bold
\emph on
\lang english
sorts
\series default
\emph default
\lang spanish
 o nombres de tipos de la entidad que se está especificando.
\end_layout

\begin_layout Itemize

\series bold
Descripción
\series default
 informal de las operaciones.
\end_layout

\begin_layout Itemize

\series bold
Signatura,
\series default
 sintaxis de la interfaz para el tipo de datos.
\end_layout

\begin_layout Itemize

\series bold
Axiomas,
\series default
 que caracterizan la semántica de las operaciones.
\end_layout

\end_deeper
\begin_layout Itemize

\series bold
Basado en modelos:
\series default
 Se construye un modelo del sistema mediante construcciones matemáticas,
 y se definen las operaciones según cómo modifican el estado del sistema.
\end_layout

\begin_layout Standard
También diferenciamos entre notaciones formales secuenciales y concurrentes.
\end_layout

\begin_layout Standard

\series bold
Z
\series default
 es una notación formal secuencial basada en modelos, formada por:
\end_layout

\begin_layout Itemize
Una notación para 
\series bold
esquemas
\series default
, formada por:
\end_layout

\begin_deeper
\begin_layout Itemize
Nombre del esquema.
\end_layout

\begin_layout Itemize

\series bold
Signatura
\series default
, con líneas en formato 
\family sans
\emph on
atributo
\family default
\emph default
[
\family sans
, 
\family default
...]
\family sans
: 
\emph on
Tipo
\family default
\emph default
.
\end_layout

\begin_layout Itemize

\series bold
Predicado
\series default
, con líneas que especifican invariantes entre los atributos.
\end_layout

\end_deeper
\begin_layout Itemize
Una notación para 
\series bold
operaciones
\series default
 sobre los esquemas.
\end_layout

\begin_layout Standard

\series bold
Maude
\series default
 es una notación formal algebraica y concurrente que soporta módulos funcionales
, de sistema y orientados a objetos.
 Puede usarse para especificar aplicaciones y sistemas generales.
\end_layout

\begin_layout Subsection
Métodos formales
\end_layout

\begin_layout Standard
Una 
\series bold
técnica formal
\series default
 es una que usa especificaciones formales, y un 
\series bold
método formal
\series default
 es una técnica formal con un procedimiento de uso.
\begin_inset Note Note
status open

\begin_layout Plain Layout
Skip diapo 33
\end_layout

\end_inset


\end_layout

\begin_layout Standard
Según Hall, los principales 
\series bold
mitos
\series default
 sobre los métodos formales son que:
\end_layout

\begin_layout Enumerate
Pueden garantizar que el software sea perfecto.
\end_layout

\begin_layout Enumerate
Tratan sobre pruebas de programas.
\end_layout

\begin_layout Enumerate
Solo son útiles para sistemas de seguridad crítica.
\end_layout

\begin_layout Enumerate
Requieren matemáticos muy entrenados en su uso.
\end_layout

\begin_layout Enumerate
Incrementan el coste de desarrollo.
\end_layout

\begin_layout Enumerate
Son inaceptables para el usuario.
\end_layout

\begin_layout Enumerate
No se usan en la práctica.
\end_layout

\begin_layout Standard
Las técnicas formales introducen rigor en la documentación, evitando la
 ambigüedad al usarse como contrato entre clientes y proveedores, y ayudan
 a comprender propiedades del software a construir.
 Además, facilitan la implementación, que se puede hacer automáticamente,
 y la prueba, que puede ser formal.
\end_layout

\begin_layout Standard
Por otro lado, muchas veces el aspecto más crítico no es la calidad sino
 la rapidez en sacar el producto al mercado, y las técnicas formales son
 difíciles de aplicar y sistemas grandes y no son apropiadas para especificar
 interfaces de usuario o interacciones entre usuarios.
\end_layout

\begin_layout Standard
Los métodos formales se usan en sistemas críticos, sistemas reproducidos
 muchas veces, sistemas empotrados en hardware, sistemas de alta calidad
 por requerimientos comerciales y sistemas que va a usar mucha gente.
\end_layout

\begin_layout Section
Herramientas 
\lang english
CARE
\end_layout

\begin_layout Standard
Las 
\series bold
herramientas 
\lang english
CARE
\series default
\lang spanish
 (
\emph on
\lang english
Computer-Aided Requirements Engineering
\emph default
\lang spanish
) son herramientas que facilitan la definición, la organización, el almacenamien
to y la gestión de los requisitos.
 Suelen incluir:
\end_layout

\begin_layout Itemize
Informes de alto nivel sobre los requisitos.
\end_layout

\begin_layout Itemize
Plantillas para realizar la documentación del proyecto.
\end_layout

\begin_layout Itemize
Integración con otras herramientas.
\end_layout

\begin_layout Itemize
Importación y exportación de requisitos, por ejemplo con el formato 
\lang english
ReqIF
\lang spanish
 estandarizado por la 
\lang english
OMG
\lang spanish
, un estándar que los apuntes dicen falsamente que es de facto.
\begin_inset Foot
status open

\begin_layout Plain Layout
Tienen una definición de 
\begin_inset Quotes cld
\end_inset

de facto
\begin_inset Quotes crd
\end_inset

 distinta a la definición estándar de facto (la que todo el mundo entiende)
 y de jure (la de la RAE, que es la misma).
\end_layout

\end_inset


\end_layout

\begin_layout Standard
Algunas herramientas 
\lang english
CARE
\lang spanish
 son:
\end_layout

\begin_layout Itemize
El software privativo 
\lang english
ReqView
\lang spanish
.
\end_layout

\begin_layout Itemize
El software privativo 
\lang english
DOORS
\lang spanish
.
\end_layout

\begin_layout Itemize
El software privativo 
\lang english
Borland Caliber-RM
\lang spanish
.
\end_layout

\begin_layout Itemize
El software privativo 
\lang english
TRC Systems Engineering Suite
\lang spanish
, que usa heurísticas para valorar la corrección, consistencia y completitud
 de los requisitos y ayudar a su calidad y soporta reutilización de requisitos
 con un motor de búsqueda semántico.
\end_layout

\begin_layout Itemize
El software privativo 
\lang english
Prover
\lang spanish
, basado en técnicas formales, que permite probar la seguridad de un sistema
 y otras propiedades matemáticamente.
\end_layout

\begin_layout Standard
Algunas herramientas permiten añadir 
\emph on
\lang english
plug-ins
\emph default
\lang spanish
 o 
\emph on
\lang english
add-ins
\emph default
\lang spanish
 que aumentan su funcionalidad o las conectan con otras herramientas.
\end_layout

\end_body
\end_document