Formal Specifications, Prototyping and Integration Tests

Christine Choppy. Formal Specifications, Prototyping and Integration Tests. In Howard K. Nichols, Dan Simpson, editors, ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings. Volume 289 of Lecture Notes in Computer Science, pages 172-179, Springer, 1987.

Abstract

Abstract is missing.