To evaluate this approach, we used PROPEL to specify properties in five case studies in the medical domain. The case studies showed that our approach was effective at specifying the vast majority of the properties we encountered. We also undertook a small empirical study that showed that the disciplined natural language view of the properties was usually understood. These results indicate that our approach to property elicitation and specification is a promising one.Finally, from the perspective of the larger medical safety project that these case studies are part of, these formal specifications play an essential role in ensuring that the processes in these domains support patient safety. 126.96.36.199 Lessonsanbsp;...
|Title||:||PROPEL: An Approach Supporting User Guidance in Developing Precise and Understandable Property Specifications|
|Author||:||Rachel L. Cobleigh|
|Publisher||:||ProQuest - 2008|