Glass-Box and Black-Box Views on Object-Oriented Specifications.

Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Browse the full SEFM paper archive.