Skip to main content

1 Result(s)

within **ngxing Pi Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Automated Mining and Checking of Formal Properties in Natural Language Requirements

    Bridging the gap between natural language requirements (NLR) and precise formal specifications is a crucial task of knowledge engineering. Software system development has become more complex in recent years, a...

    **ngxing Pi, Jianqi Shi, Yanhong Huang… in Knowledge Science, Engineering and Managem… (2019)