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