Buscar
Mostrando ítems 1-10 de 23
Artículo
Artículo
Editorial: web and database technologies in business solutions
(Inderscience, 2004)
Artículo
Towards clarifying the importance of interactions in Agent-Oriented Software Engineering
(Iberamia, 2005)
Interactions between subparts of a system have been recognized as the source of complexity in many fields ranging from physics, sociology, neurology, to software engineering. Agent-Oriented Software Engineering (AOSE) ...
Artículo
Multi-Party Coordination in the Context of MOWS
(Springer, 2002)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting properties that do not fit into the scope of a class must be satisfied. In this paper, we show ...
Artículo
A Multiparty Coordination Aspect Language
(ACM Digital Library, 2000)
Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be partially achieved by implementing them in a way that is independent of the way they interact. Isolating ...
Artículo
Generating non-conspiratorial executions
(Elsevier, 2007)
Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several wellknown problems in faulty environments; furthermore, avoiding non-equivalence robust executions ...
Informe
Construcción de un depurador portable de código. Un entorno gráfico para el depurador (LSI-2000-03)
(2000)
El presente artículo corresponde con el último de una serie de artículos donde se ha venido mostrando las técnicas utilizadas para la implementación de un depurador de código. Concretamente, en este artículo nos centraremos ...
Artículo
Vivacidad y justicia en entornos no deterministas
(Universidad Autónoma de Bucaramanga, 2002)
El problema de la vivacidad y la seleccion justa surge en el contexto de los sistemas con ejecuciones no deterministas. El concepto de seleccion completamente justa sirve para garantizar que todos los elementos que se ...
Informe
Informe
Construcción de un depurador portable de código. Evaluador de expresiones (LSI-2000-03)
(2000)
En este tercer artículo veremos la forma en la que podrá interactuar el usuario con el depurador, los comandos que podrá usar; para despues centrarnos en la construcción del evaluador de expresiones.