A Formal Approach to Pre-Market Review for Medical Device Software.
Raoul Praful JetleyS. Purushothaman IyerPaul L. JonesWilliam SpeesPublished in: COMPSAC (1) (2006)
Keyphrases
- medical devices
- software tools
- formal methods
- source code
- data acquisition
- medical diagnosis
- requirements specification
- software development
- software projects
- software vendors
- decision making
- medical data
- software maintenance
- software design
- software quality
- stock market
- medical records
- software industry
- software architecture
- supply chain
- user interface