Buscar
Mostrando ítems 1-10 de 19
Artículo
Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005)
Ponencia
¿Por qué OMG ha elegido BPMN para modelar de Procesos de Negocio si ya existe UML?
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
Desde junio del 2005 la BPMI (Business Process Management Initiative) es miembro de la OMG (Object Management Group). En esta unión confluyen por una lado una organización con gran experiencia en el modelado de procesos ...
Ponencia
Ponencia
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
Ponencia
Supporting Requirements Verification Using XSLT
(IEEE Computer Society, 2002)
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based on natural language parsing techniques but on the representation of requirements in XML. In our ...
Artículo
Automating the Procurement of Web Services
(Springer Verlag, 2003)
As government agencies and business become more dependent on web services, software solutions to automate their procurement gain importance. Current approaches for automating the procurement of web services suffer from an ...
Artículo
Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not ...
Ponencia
An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
(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, understandability and reusability of parallel and/or distributed software. This can be achieved ...
Ponencia
Automated Support for Quality Requirements in Web–Service–Based Systems
(IEEE Computer Society, 2001)
The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason is that it will allow to build economically–optimal systems whose quality level can be guaranteed. ...
Artículo
Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces
(Centro de Investigación en Computación, 2002)