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