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

Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister

In: Jorge R. Cuellar, Zhimming Liu (Hgg.) Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04). IEEE, 2004. S. 208-217.