Frank Salger, Stefan Sauer, Gregor Engels. Integrated specification and quality assurance for large business information systems. In Kiran Deshpande, Pankaj Jalote, Sriram K. Rajamani, editors, Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009. pages 129-130, ACM, 2009. [doi]
Abstract is missing.