Incorporating a Reuse Model to the RAISE Formal Method

Daniel Riesco, Laura Felice, Narayan C. Debnath, German Montejano. Incorporating a Reuse Model to the RAISE Formal Method. In Du Zhang, Éric Grégoire, Doug DeGroot, editors, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA. pages 133-138, IEEE Systems, Man, and Cybernetics Society, 2004.

Abstract

Abstract is missing.