Semantic Integration of Heterogeneous Software Specifications