Biomedical Engineering Reference
In-Depth Information
42. Ponsard, C., Massonet, P., Rifaut, A., Molderez, J. F., van Lamsweerde, A., & Van, H. T.
(2005). Early verification and validation of mission critical systems.
Electronic Notes in The-
oretical Computer Science
,
133
, 237-254. Proceedings of the ninth international workshop on
formal methods for industrial critical systems, FMICS 2004.
43. Ramesh, B., & Jarke, M. (2001). Toward reference models for requirements traceability.
IEEE
Transactions on Software Engineering
,
27
, 58-93.
44. Reinhardt, R., & Dowd, S. (2007).
Adobe Flash CS3 professional bible
(p. 1232). New York:
Wiley. ISBN 9780470119372.
45. Rittel, H. W. J., & Webber, M. M. (1973). Dilemmas in a general theory of planning.
Policy
Sciences
,
4
(2), 155-169.
46. RODIN
(2004).
Rigorous
open
development
environment
for
complex
systems.
47. Schmid, R., Ryser, J., Berner, S., Glinz, M., Reutemann, R., & Fahr, E. (2000).
Asurveyof
simulation tools for requirements engineering
(Technical report).
48. Servat, T. (2006).
Lecture notes in computer science
.
Brama: A new graphic animation tool
for B models
(pp. 274-276). Berlin: Springer.
49. Siddiqi, J. I., Morrey, I. C., Roast, C. R., & Ozcan, M. B. (1997). Towards quality requirements
via animated formal specifications.
Annals of Software Engineering
,
3
, 131-155.
50. Turner, D. A. (1985). Functional programs as executable specifications. In
Proceedings of a
discussion meeting of the Royal Society of London on mathematical logic and programming
languages
(pp. 29-54). Upper Saddle River: Prentice Hall.
51. Van, H. T., van Lamsweerde, A., Massonet, P., & Ponsard, C. (2004). Goal-oriented require-
ments animation. In
Proceedings of the 12th IEEE international requirements engineering
conference
(pp. 218-228). Washington: IEEE Comput. Soc.
52. Woodcock, J., & Banach, R. (2007). The verification grand challenge.
Journal of Universal
Computer Science
,
13
(5), 661-668.
Search WWH ::
Custom Search