En este artículo se presenta una revisión de los estudios primarios que abordan la
identificación de faltas durante el aprendizaje de los diagramas de casos de uso (DCU) y de …

Use cases are a widely accepted way to define application functionality. They can therefore
form a solid basis for testing the correct functionality and quality of service of a developed …

This paper shows that the elimination of fault-agnostic instability, the instability caused by
fault-agnostic distributed control, substantially improves BGP convergence speed. To this …

Textual use-cases have been traditionally used in the initial stages of the software
development process to describe software functionality from the user's perspective. Their …

Software reliability can be ensured by using software verification techniques including
model checking. A model checker takes a software model along with formal specifications …

Component-based software development where the applications are constructed from
reusable software components (possibly from different manufacturers) becomes an …

Textual use-cases have been traditionally used at the design stage of the software
development process to describe software functionality from the user's perspective. Because …