收录日期:2018/08/15 02:05:28 时间:2016/05/22 09:12:02 标签:研发管理
谢了
没有听说过,你是搞理论研究还是实际应用?
从你的提法上猜测,应该是软件自动化的研究内容吧。对软件系统的需求做推导和求精,直到生成代码。

这方面东西不少。老点的象VDM之类,现在的象CSP等。
学习
z语言之类的东西,主要是用来解决自然语言的多意性的问题。有参考价值,而无使用价值。用来作数学问题的分析或者电梯问题之类的问题的解决还可以,在使用到真正的现实社会中去的时候就笨拙而乏味。
gz