Conference paperEnabling analysis and measurement of conventional software development documents using project-specific formalism
Conference paperSemantic analysis technique of logics retrieval for software testing from specification documents