Métodos Formales y Teoría de Colas
Elizabeth E. Vidal-Duarte and Ernesto Cuadros-Vargas |
|
This paper presents the software specification restrictions for a supermarket system. This work attempts to reduce the ambiguity and to support the reuse of specifications for similar cases. Our proposal in based on formal software specifications (formal methods) and in the queuing theory.
|
|
Este trabajo presenta la especificación de restricciones del comportamiento de un supermercado. La intención es reducir la ambigüedad de la especificación de restricciones y soportar el reuso para casos similares mediante la identificación de patrones de comportamiento. Para ello hemos basado nuestro trabajo en la especificación formal de software (métodos formales) y en la teoría de colas.
|
| Palabras Clave: Métodos Formales, Teoría de Colas, Especificación Formal, Reuso de Especificaciones. |
 |
 |