Semantic Integration Of Heterogeneous Software Specifications by Martin Grobe-Rhode & Martin Große-Rhode