Information Technology Reference
In-Depth Information
10. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading
(1995) ISBN 0-201-63361-2
11. Grundy, J.: Transformational Hierarchical Reasoning. The Computer Journal 39(4), 291-302
(1996)
12. Hoare, C.A.: An Axiomatic Basis for Computer Programming. Communications of the
ACM 12(10), 576-583 (1969)
13. Iliasov, A.: Finer Plugin (2008),
http://finer.iliasov.org
14. Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.: On Rigorous Design
and Implementation of Fault Tolerant Ambient Systems. In: Proceedings of the 10th IEEE
International Symposium on Object and Component-Oriented Real-Time Distributed Com-
puting, ISORC 2007, Washington, DC, USA, pp. 141-145. IEEE Computer Society Press,
Los Alamitos (2007)
15. Lyons, R.E., Vanderkulk, W.: The Use of Triple-Modular Redundancy to Improve Computer
Reliability. IBM Journal, 200-209 (April 1962)
16. Morgan, C.: Programming From Specifications. Prentice Hall International (UK) Ltd.,
Englewood Cliffs (1994)
17. Oliveira, M., Cavalcanti, A., Woodcock, J.: Arcangel: a tactic language for refinement.
Formal Asp. Comput. 15(1), 28-47 (2003)
18. Silva, R., Butler, M.: Supporting Reuse of Event-B Developments through Generic Instanti-
ation. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 466-484.
Springer, Heidelberg (2009)
