q=shaoying+liu+%3D%E8%BD%AF%E4%BB%B6%E5%BC%80%E5%8F%91%E7%9A%84%E5%BD%A2%E5%BC%8F%E5%8C%96%E5%B7%A5%E7%A8%8B%E6%96%B9%E6%B3%95%E2%80%94%E2%80%94%E7%BB%93%E6%9E%84%E5%8C%96%2B%E9%9D%A2%E5%90%91%E5%AF%B9%E8%B1%A1%2B%E5%BD%A2%E5%BC%8F%E5%8C%96&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
Shaoying Liu =软件开发的形式化工程方法——结构化+面向对象+形式化