Biomedical Engineering Reference
In-Depth Information
29. Hoare, C. A. R. (1985).
Communicating sequential processes
. Upper Saddle River: Prentice
Hall.
30. Holzmann, G. J. (1997). The model checker SPIN.
IEEE Transactions on Software Engineer-
ing
,
23
, 279-295.
31. Hosier, W. A. (1961). Pitfalls and safeguards in real-time digital systems with emphasis on
programming.
IRE Transactions on Engineering Management
,
EM-8
(2), 99-115.
32. Hsia, P., Kung, D., & Sell, C. (1997). Software requirements and acceptance testing.
Annals
of Software Engineering
,
3
, 291-317.
33. Huhn, M., & Zechner, A. (2010). Arguing for software quality in an IEC 62304 compliant
development process. In T. Margaria & B. Steffen (Eds.),
Lecture notes in computer science:
Vol. 6416
.
Leveraging applications of formal methods, verification, and validation
(pp. 296-
311). Berlin: Springer.
34. IEC62304 (2006). International Electrotechnical Commission: Medical device software—
software life-cycle processes.
http://www.iec.ch/
.
35. IEEE-SA. IEEE Standards Association.
http://standards.ieee.org/
.
36. ISO. International Organization for Standardization.
http://www.iso.org/
.
37. Jackson, D. (2002). Alloy: A lightweight object modelling notation.
ACM Transactions on
Software Engineering and Methodology
,
11
(2), 256-290.
38. Jackson, M. (2007). The problem frames approach to software engineering. In
14th Asia-
Pacific software engineering conference
, APSEC 2007 (p. 14).
39. Jetley, R., Purushothaman Iyer, S., & Jones, P. (2006). A formal methods approach to medical
device review.
Computer
,
39
(4), 61-67.
40. Jetley, R. P., Carlos, C., & Purushothaman Iyer, S. (2004). A case study on applying formal
methods to medical devices: Computer-aided resuscitation algorithm.
International Journal
on Software Tools for Technology Transfer
,
5
(4), 320-330.
41. Jones, C. B. (1990).
Systematic software development using VDM
(2nd ed.). Upper Saddle
River: Prentice Hall.
42. Joshi, A., & Heimdahl, M. P. E. (2005). Model-based safety analysis of Simulink models using
SCADE design verifier. In
SAFECOMP
(pp. 122-135).
43. Keatley, K. L. (1999). A review of the FDA draft guidance document for software validation:
Guidance for industry.
Quality Assurance
,
7
(1), 49-55.
44. Lamport, L. (1994). The temporal logic of actions.
ACM Transactions on Programming Lan-
guages and Systems
,
16
, 872-923.
45. Lecomte, T., Servat, T., & Pouzancre, G. (2007). Formal methods in safety-critical railway
systems. In
10th Brazilian symposium on formal methods
, Ouro Preto (pp. 29-31).
46. Leuschel, M., & Butler, M. (2003).
Lecture notes in computer science
.
ProB: A model checker
for B
(pp. 855-874). Berlin: Springer.
47. Leveson, N. G. (1991). Software safety in embedded computer systems.
Communications of
the ACM
,
34
, 34-46.
48. Macedo, H. D., Larsen, P. G., & Fitzgerald, J. (2008). Incremental development of a distributed
real-time model of a cardiac pacing system using VDM. In
Lecture notes in computer science
.
Proceedings of the 15th international symposium on formal methods
, FM'08 (pp. 181-197).
Berlin: Springer.
49. Magee, J. H. (2003). Validation of medical modeling & simulation training devices and sys-
tems.
Studies in Health Technology and Informatics
,
94
, 196-198.
50. Maibaum, T. S. E., & Wassyng, A. (2008). A product-focused approach to software certifica-
tion.
Computer
,
41
(2), 91-93.
51. Maisel, W. H., Sweeney, M. O., Stevenson, W. G., Ellison, K. E., & Epstein, L. M. (2001).
Recalls and safety alerts involving pacemakers and implantable cardioverter-defibrillator gen-
erators.
Journal of the American Medical Association
,
286
(7), 793-799.
52. Marciniak, J. J. (2002).
Encyclopedia of software engineering
(2nd ed.). New York: Wiley.
53. Méry, D., & Singh, N. K. (2010). Real-time animation for formal specification. In M. Aiguier,
F. Bretaudeau, & D. Krob (Eds.),
Complex systems design & management
(pp. 49-60). Berlin:
Springer.
Search WWH ::
Custom Search