Information Technology Reference
In-Depth Information
14. Pattern Composition in Coq,
http://ecnucs-selab.googlecode.com/files/exampleinpaper
15. Dong, J., Alencar, P.S.C., Cowan, D.D., Yang, S.: Composingpattern-based components
and verifying correctness. The Journal of Systems and Software, 1755-1769 (2007)
16. Eden, A.H., Hirshfeld, Y., Kazman, R.: Abstraction classes in software design. IEE Soft-
ware 153(4), 163-182 (2006)
 
Search WWH ::




Custom Search