A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
In healthcare institutions it is important to define methodologies and management strategies in order to define, maintain and execute Healthcare Processes (HP) in a simple and effective manner. These needs are necessary because this kind of processes involve many people (software engineer, healthcare teams, and doctors, among others) and must also comply with lots of international clinical standards (such as ISO-EN 13606 or ISO/DIS 13940). This paper presents a formal demonstration of ourdblp:conf/isdevel/Garcia-GarciaEM15 fatcat:glzvajypargd3bxyqyqeh6qb6q