Fernando Villar

Learn More
BACKGROUND The successful implementation of cardiovascular disease (CVD) prevention guidelines relies heavily on primary care physicians (PCPs) providing risk factor evaluation, intervention and patient education. The aim of this study was to ascertain the degree of awareness and implementation of the Spanish adaptation of the European guidelines on CVD(More)
In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property description is Fluent Linear Time Temporal Logic. Fluents provide an adequate flexibility for capturing properties of(More)
  • 1