We provide a characterization of the resolution width introduced in the context of
propositional proof complexity in terms of the existential pebble game introduced in the …

Business Process Management (BPM) has been increasingly used in recent years in the
healthcare domain to analyze, optimize, harmonize and compare clinical and healthcare …

El diagrama de casos de uso es importante en el desarrollo de aplicaciones de software
para capturar los requisitos funcionales y para manejar la complejidad de sistemas …

This paper describes an algorithm to transform business process models into a functional
requirements specification, specified in the form of use case diagrams. The benefit of such …

One of the most difficult, and crucial, activities in software development is the identification of
system functional requirements. A popular way to capture and describe those requirements …

A business process model identifies the activities, resources and data involved in the
creation of a product or service, having lots of useful information for starting to develop a …

Typically, large companies in an effort to increase efficiency specify business processes
using workflow languages, while software designers specify the systems that implement …

One of the responsibilities of requirements engineering is to transform stakeholder
requirements into system and software requirements. For enterprise systems, this …

Business process modelling and management approaches are increasingly used and
disclosed between organizations as a means to improve their products or services quality …

Many software systems are being developed to help with business processes, which
typically involve a number of (human) tasks in achieving organizational goals. However …