La aparición de las arquitecturas de microservicios (MSAs) ha supuesto un cambio importante en la forma en la que se ...

Purpose: Mindfulness is a meditation technique whose main goal involves maintaining a calm mind and training attention by ...

Los acuerdos de clientes están formados por un conjunto de documentos legales que recogen los términos y condiciones ...

En los últimos años, ha aumentado el uso de metodologías ágiles sobre las metodologías en cascadas o tradicionales, ...

The increasing capabilities of mobile devices have led to the emergence of new paradigms exploiting them. These paradigms ...

Web Application Programming Interfaces (APIs) allow software systems to interact with each other over the network. Web ...

Service providers compose services in service chains that require deep integration of core operational information systems ...

Context. Mindfulness is a meditation technique whose main goal is keeping the mind calm and educating attention by focusing ...

Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ...

Service providers compose services in service chains that require deep integra tion of core operational information systems ...

Predictive monitoring is a key activity in some Process Aware Information Systems (PAIS) such as information systems ...

Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ...

The Software as a Service (SaaS) paradigm has become entrenched in the industry as a deployment model, bringing flexibility ...

Los servicios web suelen imponer dependencias entre parámetros (también llamadas dependencias inter-parámetro) que restringen ...

Las crecientes capacidades de los dispositivos finales han llevado al despliegue masivo de aplicaciones móviles distribuidas. ...

Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be ...

La generación automática de casos de prueba para APIs REST es un tema de investigación muy activo. La mayoría de técnicas ...

Testing RESTful APIs thoroughly is critical due to their key role in software integration. Existing tools for the automated ...

Context: Web services often impose constraints that restrict the way in which two or more input parameters can be combined ...

Context: Software Engineering students are often excellent developers although they may occasionally encounter difficulties ...

Digital transformation has brought an unprecedented pace of change and a huge amount of information available for businesses. ...

A Service Level Agreement (SLA) regulates the provisioning of a service by defining a set of guarantees. Each guarantee sets ...

Agile software teams are expected to follow a number of specific Team Practices (TPs) during each iteration, such as ...

Board-based software tools for managing collaborative work (e.g. Trello or Microsoft Planner) are highly configurable ...

The increasing capabilities of end devices has led to a wider distribution of the computation and the massive deployment ...

Cloud computing constant evolution requires dynamic adjustments to service pricing and billing terms, considering provider ...

Proveer al usuario con opciones de búsqueda avanzada que faciliten el acceso a los datos que busca es una característica ...

Smart contracts provide computation facilities to blockchains, enabling many application scenarios where au tomatic analysis ...

Context: Software applications exposing a high ability to be extended, changed or configured are usually referred to as ...

The Software development trend uses service-oriented soft ware architecture (SOA), which provides efficiency, agility, and ...

Automated test case generation for RESTful APIs is a thriving research topic due to their critical role in software integration. ...

Automated test case generation for RESTful web APIs is a thriving research topic due to their key role in software integration. ...

The modeling and management of business processes often leads to the definition of several variants of the same process. ...

Context: The Software Engineering (SE) research continues to gain strength and interest for researchers considering the ...

In this paper, we deal with questions related to blockchains in complex Internet of Things (IoT)-based ecosystems. Such ...

The explosive growth of the mobile application market in recent years has led to a large concomitant mobile software ...

It is well-known that context impacts running instances of a process. Thus, defining and using contextual information may ...

Business process compliance ensures that the business processes of an organisation are designed and executed according to ...

Automated testing approaches for RESTful web APIs typi cally follow a black-box strategy, where test cases are derived ...

The OpenAPI Specification (OAS) is the de facto standard to describe RESTful APIs from a functional perspective. OAS has ...

As software architecture design is evolving to a microservice paradigm, RESTful APIs are being established as the preferred ...

As software architecture design is evolving to a microservice paradigm, RESTful APIs are being established as the preferred ...

Knowledge-Intensive Processes (KIPs) are processes whose execution is heavily dependent on knowledge workers performing ...

Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for ...

Cloud service providers offer to their customers a variety of pricing policies, which range from the simple, yet widely ...

Web services often impose dependency constraints that re strict the way in which two or more input parameters can be ...

Web APIs following the REST architectural style (so-called RESTful web APIs) have become the de-facto standard for software ...

Agile/XP (Extreme Programming) software teams are expected to follow a number of specific practices in each iteration, ...

Searching and displaying data based on user queries is a key feature of most software applications such as information ...

Las pruebas de interfaz de usuario son una técnica muy popular gracias a su capacidad para validar el comportamiento de ...

Context: In any discipline, replications of empirical studies are necessary to consolidate the acquired knowledge. In ...

Nursing home culture change movement advocates for care that is less hospital-like, and more patient-centered. Despite ...

In this paper, we deal with questions related to blockchains in complex Internet of Things (IoT)-based ecosystems. Such ...

As software architecture design is evolving to microservice paradigms, RESTful APIs become the building blocks of applications. ...

Software architecture tendencies are shifting to a microservice paradigm. In this context, RESTful APIs are being established ...

El incremento en el uso de arquitecturas orientadas a servicios en los últimos 15 años ha propiciado la propuesta de ...

Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ...

Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ...

Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ...

Decision management is of utmost importance for the achievement of strategic and operational goals in any organisational ...

Context: Mindfulness is a meditation technique aimed to increase clearness of mind and awareness. In the 2013–2014 ...

Process-oriented organisations need to manage the different types of responsibilities their employees may have w.r.t. the ...

Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ...

Nowadays, process mining is becoming a growing area of interest in business process management (BPM). Process mining ...

As distribution models of information systems are moving to XaaS paradigms, microservices architectures are rapidly emerging, ...

The term of API Economy is becoming increasingly used to describe the change of vision in how APIs can add value to the ...

El Aprendizaje Basado en Proyectos (ABP) ha sido aplicado con éxito en diversas áreas de la docencia de la informática en ...

Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ...

Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ...

Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ...

Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ...

Web service based applications often invoke services provided by third-parties in their workflow. The Quality of Service ...

Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs ...

As technology resonates in all layers of society, the impulse of shifting toward new spaces for a cooperative economy can ...

Aiming to be as competitive as possible, organisations are always pursuing to improve their business processes applying ...

During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ...

Variability testing techniques search for effective and manageable test suites that lead to the rapid detection of faults ...

The continuous performance improvement of business processes usually involves the definition of a set of process performance ...

Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the ...

Monitoring and measuring the performance of business pro- cesses are valuable tasks that facilitate the identi cation of ...

Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ...

Sofware distribution models are moving to SaaS paradigms where customers no longer need to buy a perpetual license. In ...

Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ...

In a changing and competitive business world, business processes are at the heart of modern organizations. In some cases, ...

Highly-configurable software systems (HCSs) provide a common core functionality and a set of optional features, where a ...

A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ...

Organizaciones como Netflix, Google o Amazon hacen uso de arquitecturas basadas en micro-servicios, lo que ha disparado ...

In recent years, microservice architectures have emerged as an agile approach for scalable web applications on cloud ...

The myriad of cloud service providers, as well as their overwhelming variety of configuration and purchasing options, ...

The performance perspective of business processes is concerned with the definition of performance requirements usually ...

Multi-tenancy is a key pillar of cloud services. It allows different users to share computing and virtual resources ...

Nowadays, service trading over the Web is gaining momentum. In this highly dynamic scenario, both providers and consumers ...

Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ...

Business Process (BP) families are made up of BP variants that share commonalities but also show differences to accommodate ...

To determine whether strategic goals are met, organizations must monitor how their business processes perform. Process ...

Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. ...

Process mining allows the extraction of useful information from event logs and historical data of business processes. This ...

Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating ...

In cloud service provisioning scenarios with a changing demand from consumers, it is appealing for cloud providers to ...

During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ...

With an increasing number of cloud computing offerings in the market, migrating an existing computational infrastructure ...

A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to ...

As APIs are becoming popular to build Service-Based Ap- plications (SBA), API Gateways are being increasingly used to ...

Las crecientes capacidades de configuración de los servicios, especialmente en el cloud, han dado lugar a los así llamados ...

In the past, elasticity and commitment in business processes were underexplored. But as businesses increasingly exploit ...

As the use of services available on the Web is becoming mainstream, contracts and legal aspects of the relationship between ...

Quality of an open source software ecosystem (OSS ecosystem) is key for different ecosystem actors such as contributors ...

Plenty of activities in many business contexts must be performed collaboratively, e.g., in a hospital or when organising a ...

The business process (BP) resource perspective deals with the management of human as well as non-human resources throughout ...

In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...

The Cloud Service Market has evolved into a complex landscape that challenges the decision making of users as they develop ...

The human resource perspective of a business process is concerned with the relation between the activities of a process ...

La representación de indicadores de rendimiento sobre los procesos de negocio facilita la comprensión y de finición en el ...

Performance calculation is a key factor to match corporate goals between different partners in process execution. However, ...

La disponibilidad es una propiedad presente en los Acuerdos de Nivel de Servicios (ANSs) de la mayoría de servicios de ...

The definition of process-related key performance indica tors (KPIs) is a key part of performance measurement and one of ...

Many proposals to model service level agreements (SLAs) have been elaborated in order to automate different stages of the ...

Variability determines the capability of software applications to be configured and customized. A common need during the ...

Finding human resources with the required set of skills, experience, and availability to execute an activity at a specific ...

Over the last two decades, software product lines have been used successfully in industry for buildingfamilies of systems ...

In service oriented scenarios, applications are created by composing atomic services and exposing the resulting added value ...

Feature models represent all the products that can be built under a variability-intensive system such as a software product ...

Process performance management (PPM) aims at measuring, monitoring and analysing the performance of business processes ...

Multi-tenancy is a key pillar of cloud services. It allows different tenants to share computing resources transparently ...

In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ...

The number and variety of experiments carried in software engineering research is growing, leading to a increasing need ...

Software Product Line (SPL) testing is challenging due to the potentially huge number of derivable products. To alleviate ...

Availability is a key property in computational services and, therefore, is guaranteed by Service Level Agreements (SLAs) ...

In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ...

The definition of process-related key performance indicators (KPIs) is a key part of performance measurement and one of ...

Context. Many reports support the fact that some psycho--social aspects of software engineers are key factors for the ...

Variability testing techniques search for effective but manageable test suites that lead to the rapid detection of faults ...

Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ...

Testing variability-intensive systems is a challenge due to the potentially huge number of derivable configurations. To ...

A feature model is a compact representation of the products of a software product line. The automated extraction of ...

In this paper, we report on our experience on the development of La Hilandera, an e-commerce site selling haberdashery products ...

La dificultad para decidir la compra de un IaaS (Infrastructure as a Service) depende de la complejidad de las opciones ...

Resource Assignment Language (RAL) is a language for the selection of organisational resources that can be used, for ...

Muchas de las situaciones a las que nos enfrentamos cada día pueden expresarse como problemas de optimización. Un problema ...

A key aspect in any process-oriented organisation is the measurement of process performance for the achievement of its ...

A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...

A key aspect to identify improvement points of the business processes (BP) of an organisation is to conduct performance ...

Service ranking has been long-acknowledged to play a fundamental role in helping users to select the best o erings among ...

Identifying which part of a local system should be migrated to a public Cloud environment is often a difficult and error ...

La priorización de pruebas consiste en establecer un orden de ejecución para los casos de prueba que permita alcanzar un ...

WS–Agreement is one of the most widely used SLA specifications. An advantage of WS–Agreement over other agreement metamodels ...

Checking whether the agreed service quality attributes are fulfilled or maintained during the service life-cycle is a very ...

Service Level Agreements (SLAs) establish the Quality of Service (QoS) agreed between service-based systems consumers and ...

In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ...

Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ...

The widespread use of SLA-regulated Cloud services, in which the violation of SLA terms may imply a penalty for the parties, ...

Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration.

Variability determines the ability of software applications to be configured and customized. A common need during the ...

A medida que los SLAs empiezan a ser necesarios en servicios y aplicaciones usadas por el gran público y en ambientes XaaS ...

In Business Process Management Systems, human resource management typically covers two steps: resource assignment at design ...

El modelado de la variabilidad es una de las principales tareas en el desarrollo de l´ıneas de productos software (LPS). ...

A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...

La ingeniería de líneas de producto software es un paradigma de desarrollo de software que permite la creación de una ...

There exist many available service ranking implementations, each one providing ad hoc preference models that offer different ...

Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ...

Process Performance Indicators (PPIs) are a key asset for the mea- 2 surement of the achievement of strategic and operational ...

In this demo, we introduce CRISTAL (Collection of ResourcecentrIc Supporting Tools and Languages), a tool suite aimed at ...

This paper performs an unprecedented comparative study of Metaheuristic optimization frameworks. As criteria for comparison ...

Semantic Web Services discovery is commonly a heavyweight task, which has scalability issues when the number of services ...

The measurement of process performance and its analysis is crucial for the consecution of strategic and operational goals ...

Business process (BP) modelling notations tend to stray their attention from (human) resource management, unlike other ...

The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ...

Software product lines are rapidly gaining importance across different application domains. This software production ...

Preference modeling constitutes an essential component for the execution of Semantic Web Service (SWS) discovery and, ...

A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...

Business process (BP) modelling notations tend to stray their attention from resource management, unlike other aspects ...

Organizations need to manage the responsibility of their employees with respect to all the activities that are daily carried ...

A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...

Las organizaciones necesitan gestionar qué responsabilidad tienen sus empleados sobre cada una de las actividades que se ...

The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ...

Software product line engineering (SPLE) is about producing a set of similar products in a certain domain. A variability ...

Los Servicios Web Semánticos (SWSs) se han convertido en un área de investigación muy activa, en la que diversos frameworks, ...

Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between servicebased systems ...

Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between service-based systems ...

A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...

Actualmente, la aplicación de técnicas estadísticas es una necesidad cuando se trabaja con metaheurísticas. A pesar de que ...

The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. ...

Automated analysis of feature models (FM) is a field of interest in recent years. Many operations over FMs have been ...

Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ...

Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ...

Governance is a capital issue in current Service Oriented Arcuitectures, and governance policies are at its base. The ...

A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...

Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...

Most commonly used business process (BP) notations, such as BPMN, focus on defining the control flow of the activities of ...

Business process (BP) modelling notations tend to stray their attention from (human) resource management, unlike other ...

Organizations need to manage the responsibility of the employees with respect to all the activities that are carried out ...

The main goal of business modeling is to understand organizations to provide software solutions with high added value. ...

La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de ...

Semantic Web Services discovery is commonly a heavyweight task, which has scal ability issues when the number of services ...

Current proposals on Semantic Web Services discovery and ranking are based on user preferences descriptions that often ...

Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ...

A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ...

La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ...

An important aspect in the business process lifecycle is the evaluation of business processes performance, since it helps ...

Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ...

A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...

The WS–Agreement specification has gained a wide acceptance in the web services community as a means for establishing ...

Software Product Line (SPL) Engineering is about producing a family of products that share commonalities and variabilities. ...

Ensuring the compliance of business processes with regulations is becoming increasingly important to organizations. ...

Developing good academic tools has become an art that forces researchers to achieve tasks they are not supposed to do. ...

Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ...

Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ...

Autonomic homes adapt themselves to give the user the best possible experience of the services they provide. They dynamically ...

In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to be ...

A common approach to the process of reaching agreements is the publication of templates that guide parties to create ...

Both Academy and Industry agree in the importance of having an adequate management of the Service Oriented Architecture ...

Feature modeling is a key technique to model commonalities and variabilities within a Software Product Line (SPL). Tools ...

El principal objetivo del modelado de negocio es comprender el funcionamiento de las empresas para poder aportar soluciones ...

An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...

The automated analysis of Feature Models (FMs) is becoming a well-established discipline. New analysis operations, tools ...

Service level agreements (SLAs) establish the terms in which a logistics service may be provided or consumed. During the ...

In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ...

SLA driven service transaction has been identified as a key challenge to take advantage of a SOA. FAST System provides a ...

The automation of software product line (SPL) analyses is of growing interest to both practitioners and researchers. In ...

Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ...

Business-Driven Development(BDD) is a research field that provides techniques and mechanisms for designing software systems ...

Ranking of Semantic Web Services is usually performed based on user preferences descriptions. These descriptions are ...

There is a set of techniques that build Business Information Systems (BIS) deploying business processes of the company ...

FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ...

An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...

The activities developed by a company (business pro cesses) have to change frequently to adapt to the environ ment. The ...

The variability level of average-size Business Informa tion Systems (BIS) is highly enough for making the design of this ...

The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ...

Current Semantic Web Services discovery and ranking proposals are based on user preferences descriptions whose expressiveness ...

In order to select the best suited service among a set of discovered services, with respect to QOS parameters, a user have ...

Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product ...

Most Semantic Web Services discovery ap- proaches are based on Description Logics, allowing a limited expressiveness when ...

Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...

In a distributed services oriented environment, having a myriad of functionally equivalent services, Quality of Service(QoS) ...

Traditionally, Service Level Agreements have been decomposed in two sets of properties: functionals (what) and non-functionals ...

NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. ...

Desde junio del 2005 la BPMI (Business Process Management Initiative) es miembro de la OMG (Object Management Group). En ...

Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ...

Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ...

Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ...

Nowadays most companies in whichever field have a software system that helps managing all the aspects of the company, from ...

Autonomic Computing, self-management based on high level guidance from humans, is increasingly being accepted as a means ...

Service level agreements (SLA) in service oriented architectures allow to regulate the service trading from providers to ...

Nowadays most companies in whichever field have a software system that helps managing all the aspects of the company, from ...

The automated analysis of feature models is recognized as one of the key challenges for automated software development in ...

The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...

Discovery tasks in the context of Semantic Web Services are generally performed using Description Logics. However, this ...

Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and ...

The field of Software Product Lines (SPL) emphasizes build- ing a family of software products from which concrete products ...

Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical ...

WS-Agreement (WS-Ag) is a proposed recommendation of the Open Grid Forum that provides a schema to describe SLAs and a ...

Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ...

En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de ...

Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, ...

Autonomic Computing (AC), self-management based on high level guidance from humans, is increasingly gain ing momentum as ...

Feature modelling is a common mechanism for variability management in the context of software product lines. After years ...

Feature models are one of the most important assets in software product line engineering when capturing variability. ...

Feature models are widely used to represent product lines and they are key parts of the development process in agile ...

In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with ...

Feature models have been cited as one of the main contributions to model software product families. However, there is still ...

Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ...

Feature Models are used in different stages of software development and are recognized to be an important asset in model ...

In the context of web service procurement (WSP), temporal–awareness refers to managing service demands and offers which ...

The number of features and their relations in a Software Product Line (SPL) may lead to have SPLs with a big number of ...

From the recent past and current state of the Internet, it is possible to forecast a wide growing of Multi Organizational ...

The increasing demand on developing Software Product Lines (SPL) has given a lot of interest to software engineering ...

The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ...

Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting ...

As government agencies and business become more dependent on web services, software solutions to automate their procurement ...

Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...

De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ...

Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting ...

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...

El problema de la vivacidad y la seleccion justa surge en el contexto de los sistemas con ejecuciones no deterministas. ...

In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ...

The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ...

In this article, we present an approach for the automatic verification of software requirements documents. This approach ...

Por desgracia, las propuestas actuales de separación de aspectos asumen que los objetos interactúan mediante invocación ...

This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ...

The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ...

Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ...

This report summarises the presentations, discussions, and main results of the ECOOP’01 Workshop on Object-Oriented Business ...

The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ...

La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas ...

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...

El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ...

In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...

Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...

Dentro de la ingeniería de requisitos se han identificado diversos tipos de problemas, uno de los cuales es expresar los ...

One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ...

Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ...

Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need ...