Date of Original Version

6-2007

Type

Conference Proceeding

Abstract or Description

Formal modeling can be used as an effective technique to improve the quality and reliability of software-intensive systems in general, and medical devices in particular. However, for formal modeling to be accessible to practicing engineers and domain specialists, suitable educational materials need to be developed. We report on the development of educational materials designed to give students the necessary experience to infuse formal modeling into practice. A core component of this effort is a set of modeling tasks drawn from the medical device domain.

DOI

10.1109/HCMDSS-MDPnP.2007.15

Share

COinS