Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Especificación formal en el proceso del software

No description
by

Lauris Ramos

on 18 July 2015

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Especificación formal en el proceso del software

Especificación formal en el proceso del software
Especificación del comportamiento

Las especificaciones formales pueden ser difíciles y tediosas de leer, especialmente cuando se presentan como largas fórmulas matemáticas.

Los diseñadores de Z han prestado una atención particular a este problema. Las especificaciones se presentan como texto informal complementado con descripciones formales.
INTRODUCCIÓN
Desde el surgimiento de las Ciencias Computacionales los investigadores han considerado a la especificación formal (FS por sus siglas en inglés) como una de sus áreas de interés.

La formalización

es un proceso necesario para diseñar, validar, documentar, comunicar, hacer reingeniería y reutilizar soluciones informáticas. Además, permite obtener especificaciones con mayor nivel de calidad y proporciona las bases para su automatización.
Especificación de interfaces de subsistemas
El proceso del desarrollo de una especificación formal de la interfaz de un subsistema comprende las siguientes actividades:


Contenido:
Capitulo 10: Especificación formal
a.Especificación formal en el proceso del software

b.Especificación de interfaces de subsistemas

c.Especificación del comportamiento

Lauris Rebecka Ramos Severino 12-0082
Se han utilizado dos aproximaciones fundamentales para redactar especificaciones detalladas para sistemas de software industriales. Estas son:

1. Una aproximación algebraica,

2. Una aproximación basada en modelos

- Perfil de costos
Métodos formales
En la década de los 80, muchos investigadores de ingeniería del software propusieron que el uso de métodos formales de desarrollo era la mejor forma de mejorar la calidad del software.
1. Estructura de la especificación
2. Nombrado de la especificación.
3. Selección de las operaciones.
4. Especificación informal de las operaciones
5. Definición de la sintaxis.
6. Definición de axiomas.
CONCLUSIONES
El software se ha convertido en un producto tecnológico imprescindible para la actual Sociedad de la Información y el Conocimiento. Cada vez más se necesitan productos software de calidad y las especificaciones formales ofrecen un amplio espectro de posibles caminos para alcanzar ese objetivo.
Actualmente, los métodos formales son una realidad y la industria y la comunidad de investigadores continúan desarrollando técnicas de especificación formal que en el futuro funcionarán adecuadamente y ofrecerán las ventajas que se espera de ellas, incluso para aplicaciones críticas.
Full transcript