Integrated specification and quality assurance for large business information systems