- idUS
- Listar por autor
Listar por autor "Toro Bonilla, Miguel"
Mostrando ítems 21-40 de 175
-
Ponencia
A Semiquantitative Approach to Study Semiqualitative Systems
Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús (Springer, 2002)In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ...
-
Artículo
A simplified model of software project dynamics
Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Elsevier, 2001)The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of ...
-
Ponencia
A System Dynamics Approach to Web Service Capacity Management
Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (IEEE Computer Society, 2009)This paper presents a dynamic simulation model applied within the field of web services capacity management. The main ...
-
Ponencia
A Technique for Distributed Systems Specification
Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Toro Bonilla, Miguel (IEEE Computer Society, 1995)In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. ...
-
Ponencia
A Tool to Obtain a Hierarchical Qualitative Rules from Quantitative Data
Aguilar, Jesús; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (Springer, 2005)A tool to obtain a classifier system from labelled databases is presented. The result is a hierarchical set of rules to ...
-
Ponencia
Agile Development and Maintenance of Applications based on Web Services
Toro Bonilla, Miguel; Polo Usaola, Macario (Ministerio de Economía y Competitividad, 2005)The incredible successfulness of the Internet has paved the way for an industry devoted to developing and running web ...
-
Tesis Doctoral
Algoritmos heurísticos para la selección de secuencias óptimas de ensamblaje
Valle Sevillano, Carmelo del (2001) -
Libro
Algoritmos y tipos de datos en C
Toro Bonilla, Miguel (Editorial Universidad de Sevilla, 2023)Los lenguajes de programación tienden a compartir las mismas ideas básicas, dado que unos y otros van tomando prestadas ...
-
Ponencia
An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions
Ruiz Cortés, David; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (Springer, 2002)Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic ...
-
Ponencia
An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Durán Toro, Amador; Toro Bonilla, Miguel (Institut national de recherche en sciences et technologies du numérique (INRIA), 2000)Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...
-
Artículo
An association rule mining method for estimating the impact of project management policies on software quality, development time and effort
Moreno García, María N.; Ramos Román, Isabel; García Peñalvo, Francisco J.; Toro Bonilla, Miguel (Elsevier, 2008)Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ...
-
Ponencia
An Automated Approach for Verification of Software Requirements
Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001)In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...
-
Ponencia
An Enablement Detection Algorithm for Open Multiparty Interactions
Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (ACM Digital Library, 2002)Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as ...
-
Artículo
An Evolutionary and Local Search Algorithm for Motion Planning of Two Manipulators
Ridao Carlini, Miguel Ángel; Camacho, Eduardo F.; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (Wiley, 2001)A method for obtaining coordinated motion plans of robot manipulators is presented. A decoupled planning approach has ...
-
Artículo
An evolutionary approach to estimating software development projects
Aguilar Ruiz, Jesús Salvador; Ramos Román, Isabel; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (Elsevier, 2001)The use of dynamic models and simulation environments in connection with software projects paved the way for tools that ...
-
Artículo
An Integrated Framework for Simulation-based Software Process Improvement
Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Wiley, 2004)In this paper we present an integrated framework for software process improvement according to CMM. The framework is ...
-
Artículo
An object-oriented approach for learning of algorithm design with sequential devices and schemas
Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (2001) -
Artículo
An order-based algorithm for implementing multiparty synchronization
Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (John Wiley and Sons, 2004)Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to ...
-
Ponencia
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (Springer, 2002)Multiparty interactions have been paid much attention in recent years because they provide the user with a useful ...
-
Ponencia
An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001)In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...