Real-Time Animator and Requirements Traceability - Using Event-B for Critical Device Software Systems - page 92

19. Fitzgerald, J. S., Bryans, J. W., Greathead, D., Jones, C. B., & Payne, R. (2007). Animation-
based validation of a formal model of dynamic virtual organisations. In Proceedings of the
2007 international conference on formal methods in industry , FACS-FMI'07, London (p. 3).
Swinton: British Computer Society.
20. Fuchs, N. E. (1992). Specifications are (preferably) executable. Software Engineering Journal ,
7 (5), 323-334.
21. Galvao, I., & Goknil, A. (2007). Survey of traceability approaches in model-driven engineer-
ing. In Proceedings of the 11th IEEE international enterprise distributed object computing
conference (p. 313). Washington: IEEE Comput. Soc.
22. Goguen, J., & Meseguer, J. (1982). Rapid prototyping in the obj executable specification lan-
guage. Software Engineering Notes , 7 , 75-84.
23. Gotel, O. C. Z., & Finkelstein, C. W. (1994). An analysis of the requirements traceability
problem. In Proceedings of the first international conference on requirements engineering
(pp. 94-101).
24. Gunter, C. A., Gunter, E. L., Jackson, M., & Zave, P. (2000). A reference model for require-
ments and specifications. IEEE Software , 17 , 37-43.
25. Guo, Y., Yang, M., Wang, J., Yang, P., & Li, F. (2009). An ontology based improved software
requirement traceability matrix. In Proceedings of the 2009 second international symposium
on knowledge acquisition and modeling , KAM'09 (Vol. 01, pp. 160-163). Washington: IEEE
Comput. Soc.
26. Hayes, I., & Jones, C. B. (1989). Specifications are not (necessarily) executable. Software
Engineering Journal , 4 , 330-338.
27. Henderson, P. (1986). Functional programming, formal specification, and rapid prototyping.
IEEE Transactions on Software Engineering , 12 , 241-250.
28. Henderson, P., & Minkowitz, C. J. (1986). The me too method of software design. ICL Tech-
nical Journal , 5 (1), 64-95.
29. High Confidence Software and Systems Coordinating Group (2009). High-confidence medi-
cal devices: Cyber-physical systems for 21st century health care (Technical report). NITRD.
http://www.nitrd.gov/About/MedDevice-FINAL1-web.pdf .
30. Hoare, C. A. R., Misra, J., Leavens, G. T., & Shankar, N. (2009). The verified software initia-
tive: A manifesto. ACM Computing Surveys , 41 (4), 22:1-22:8.
31. Hull, M. E. C., Jackson, K., & Dick, J. (2005). Requirements engineering (2nd ed.). London:
Springer.
32. IEEE-SA. IEEE Standards Association. http://standards.ieee.org/ .
33. ISO. International Organization for Standardization. http://www.iso.org/ .
34. Keatley, K. L. (1999). A review of the FDA draft guidance document for software validation:
Guidance for industry. Quality Assurance , 7 (1), 49-55.
35. Kowalski, R. (1985). The relation between logic programming and logic specification. In Pro-
ceedings of a discussion meeting of the Royal Society of London on mathematical logic and
programming languages (pp. 11-27). Upper Saddle River: Prentice Hall.
36. Lee, E. A. (2002). Embedded software. Advances in Computers , 56 , 56-97.
37. Lindvall, M., & Sandahl, K. (1996). Practical implications of traceability. Software, Practice
& Experience , 26 (10), 1161-1180.
38. Mashkoor, A., Jacquot, J.-P., & Souquières, J. (2009). Transformation heuristics for formal
requirements validation by animation. In 2nd international workshop on the certification of
safety-critical software controlled systems , SafeCert 2009, York, UK.
39. McDermid, J. (1991). Software engineer's reference topic . Boca Raton: CRC Press.
40. Méry, D., & Singh, N. K. (2009). Pacemaker's functional behaviors in Event-B
(Research report). MOSEL-LORIA-INRIA-CNRS: UMR7503-Université Henri Poincaré-
Nancy I-Université Nancy II-Institut National Polytechnique de Lorraine. http://hal.inria.fr/
inria-00419973/en/ .
41. 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.