file.pdf (104.76 kB)
Download file

Using Medical Devices to Teach Formal Modeling

Download (104.76 kB)
journal contribution
posted on 01.01.1985, 00:00 authored by Orieta Celiku, David Garlan
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.

History

Publisher Statement

All Rights Reserved

Date

01/01/1985

Usage metrics

Exports