Biomedical Engineering Reference
In-Depth Information
4. Back, R. J. R. (1981). On correct refinement of programs.
Journal of Computer and System
Sciences
,
23
(1), 49-68.
5. Barnes, J. (2003).
High integrity software: The SPARK approach to safety and security
.
Boston: Addison-Wesley Longman.
6. Bernardo, M., & Bonta, E. (2004). Generating well-synchronized multithreaded programs
from software architecture descriptions. In
Proceedings, Fourth working IEEE/IFIP confer-
ence on software architecture
, WICSA 2004 (pp. 167-176).
7. Bernardo, M., & Bontà, E. (2005). Preserving architectural properties in multithreaded code
generation. In J.-M. Jacquet & G. Picco (Eds.),
Lecture notes in computer science: Vol. 3454
.
Coordination models and languages
(pp. 188-203). Berlin: Springer.
8. Bernardo, M., Cleaveland, R., Sims, S., & Stewart, W. (1998). TwoTowers: A tool integrating
functional and performance analysis of concurrent systems. In
International conference on
formal techniques for networked and distributed systems
, FORTE (pp. 457-467).
9. Bert, D., Boulmé, S., Potet, M.-L., Requet, A., & Voisin, L. (2003). Adaptable translator of
B specifications to embedded C programs. In
Lecture notes in computer science: Vol. 2805
.
International symposium of formal methods Europe
(pp. 94-113).
10. Beyer, D., Henzinger, T., Jhala, R., & Majumdar, R. (2007). The software model checker
BLAST, applications to software engineering.
International Journal on Software Tools for
Technology Transfer
,
9
, 505-525.
11. Bjørner, D., & Jones, C. B. (Eds.) (1978).
The Vienna development method: The meta-
language
. London: Springer.
12. Blanc, N., Groce, A., & Kroening, D. (2007). Verifying C++ with STL containers via predi-
cate abstraction. In
Proceedings of the twenty-second IEEE/ACM international conference on
automated software engineering
, ASE'07 (pp. 521-524). New York: ACM.
13. Bonta, E., & Bernardo, M. (2009). PADL2Java: A Java code generator for process algebraic
architectural descriptions. In
Joint working IEEE/IFIP conference on software architecture,
2009 European conference on software architecture
, WICSA/ECSA 2009 (pp. 161-170).
14. Burns, A., Dobbing, B., & Vardanega, T. (2004). Guide for the use of the Ada Ravenscar
profile in high integrity systems.
Ada Letters
,
XXIV
(2), 1-74.
15. Coleman, D., & Hughes, J. W. (1979). The clean termination of Pascal programs.
Acta Infor-
matica
,
11
, 195-210.
16. Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., et al. (2007). Com-
bination of abstractions in the Astrée static analyzer. In
Lecture notes in computer science
.
Proceedings of the 11th Asian computing science conference on advances in computer sci-
ence: Secure software and related issues
(pp. 272-300). Berlin: Springer.
17. EB2ALL (2011). Automatic code generation from Event-B to many programming languages.
18. Edmunds, A., & Butler, M. (2010).
Tool support for Event-B code generation
. Presented at
WS-TBFM 2010.
19. Edmunds, A., & Butler, M. (2011).
Tasking Event-B: An extension to Event-B for generating
concurrent code
. Presented at PLACES 2011.
20. Georg, G., Bieman, J., & France, R. B. (2001). Using alloy and UML/OCL to specify run-time
configuration management: A case study. In A. Evans, R. France, A. Moreira, & B. Rumpe
(Eds.),
LNI: Vol. P-7
.
Practical UML-based rigorous development methods—countering or
integrating the eXtremists. Workshop of the pUML-group held together with the UML 2001,
October 1st, 2001 in Toronto, Canada
(pp. 128-141). German Informatics Society.
21. Gosling, J., Joy, B., Steele, G., & Bracha, G. (2005).
Java(TM) language specification
(3rd
ed.). Reading: Addison-Wesley.
22. Kernighan, B. W., & Ritchie, D. M. (1978).
The C programming language
. Upper Saddle
River: Prentice Hall. ISBN 0-13-110163-3.
23. Ledgard, H. (1983).
Reference manual for the ADA programming language
. Secaucus:
Springer.
24. Méry, D., & Singh, N. K. (2010).
EB2C: A tool for Event-B to C conversion support
.Poster
and tool demo submission, published in a CNR technical report in SEFM.
Search WWH ::
Custom Search