TORO BONILLA , Miguel

No description

No description

Este libro es corresponde a : Monograph CIMNE nº 33

In this paper, we present an automated approach for the verification of software requirements. This approach is based on the representation of software requirements in XML and the usage of the XSLT language to automatically verify some desired quality properties. These ideas have been implemented in REM, an experimental requirements management...

En este artículo se presenta una revisión de varias de las heurísticas de verificación de requisitos basadas en métricas desarrolladas por el Grupo de Ingeniería del Software de la Universidad de Sevilla. Esta revisión se basa en los datos empíricos obtenidos de prácticas de alumnos de segundo ciclo de la Ingeniería Informática de la...

The application of dynamical systems qualitative analysis techniques to the study of models of socio-economical systems showing abrupt changes in its qualitative behaviour is proposed. The approach is based on the multiple time-scale properties of a class of non-linear perturbed systems. The change of qualitative behaviour produced in the...

Este libro corresponde a: Monograph CIMNE nº 3

The paper introduces a simple dynamical system associated to the influence diagram which contains only qualitative information. It is a analysed how with the information in the influence diagram only limited conclusions about the behavior of the system can be reached. However, with some extra qualitative information regarding the relative...

In this article, we report on our experience regarding devising, implementing, and deploying a scheduler for multi- source fusion in the context of SCADA systems (Supervisory Control and Data Acquisition). They are challenging because they commonly rely on low-end boards with very limited computing, memory, and storage capabilities, but have to...

This paper deals with the following problem: assume that a qualitative analysis (behaviour modes, bifurcation points, type of atractors .•• ) of a nonlinear dynamical system has been carried out and that afterwards this dynamical system is transformed into a large scale system through a disaggregating process of some (or all) of its variables....

The incredible successfulness of the Internet has paved the way for an industry devoted to developing and running web services. Our main goal in this research project is to provide a framework for the agile development and maintenance of applications that build on them. In this report, we provide an insight into its current status.