- idUS
- Investigación
- Ingeniería y Arquitectura
- Lenguajes y Sistemas Informáticos
- Ponencias (Lenguajes y Sistemas Informáticos)
- Listar Ponencias (Lenguajes y Sistemas Informáticos) por autor
Listar Ponencias (Lenguajes y Sistemas Informáticos) por autor "Pérez Castellanos, José Antonio"
Mostrando ítems 1-8 de 8
-
Ponencia
a framework for aspect–oriented multiparty coordination
Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (Springer, 2001)Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross–cutting ...
-
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, ...
-
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 ...
-
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
Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns
Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Pérez Castellanos, José Antonio (WSEAS, 1999)Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ...
-
Ponencia
Semántica formal de asociaciones y agregados para su implementación con reglas activas
Martín Díaz, Octavio; Torres Valderrama, Jesús; Durán Toro, Amador; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (Universidad de Extremadura: Grupo de Paralelismo, 1999-11) -
Ponencia
Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones
Ruiz Cortés, David; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (Universidad de Castilla-La Mancha, 2001-11)La selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos ...