Biomedical Engineering Reference
In-Depth Information
25. Méry, D., & Singh, N. K. (2011). Automatic code generation from Event-B models. In
Pro-
ceedings of the second symposium on information and communication technology
, SoICT'11,
Hanoi (pp. 179-188). New York: ACM.
26. Méry, D., & Singh, N. K. (2011).
EB2J: Code generation from Event-B to Java
. Short paper
presented at the 14th Brazilian symposium on formal methods, SBMF'11.
27. Méry, D., & Singh, N. K. (2012).
Formal development and automatic code generation: Car-
diac pacemaker
. New York: ASME Press.
28. Overture. Overture: Formal modelling in VDM.
http://www.overturetool.org/
.
29. Pearce, D. J., Kelly, P. H. J., & Hankin, C. (2007). Efficient field-sensitive pointer analysis
of C.
ACM Transactions on Programming Languages and Systems
,
30
(1), 4.
30. Pohl, C., Paiz, C., & Porrmann, M. (2009). vMAGIC—automatic code generation for VHDL.
International Journal of Reconfigurable Computing
. doi:
10.1155/2009/205149
.
31. Richter, J. (2006).
CLR via C#
(2nd ed.). Redmond: Microsoft Press.
32. RODIN
(2004).
Rigorous
open
development
environment
for
complex
systems.
33. Rumbaugh, J., Jacobson, I., & Booch, G. (Eds.) (1999).
The unified modeling language refer-
ence manual
. Essex: Addison-Wesley Longman.
34. Sebesta, R. W. (2009).
Concepts of programming languages
(9th ed.). Reading: Addison-
Wesley.
35. Sites, R. L. (1974).
Clean termination of computer programs
. PhD dissertation, Stanford Uni-
versity, Stanford.
36. Smith, J. E., Kokar, M. K., & Baclawski, K. (2001). Formal verification of UML dia-
grams: A first step towards code generation. In
Practical UML-based rigorous development
methods—countering or integrating the extremists
(pp. 224-240).
37. Stroustrup, B. (1994).
The C++ programming language
(3rd ed.). Reading: Addison-Wesley.
ISBN 0-201-88954-4.
38. Wright, S. (2009).
Automatic generation of C from Event-B
. Presented at the workshop on
integration of model-based formal methods and tools, IM_FMT'2009, Düsseldorf.
Search WWH ::
Custom Search