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

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

最近生意不顺利,散分,求财! 为什么编译没错,但程序运行不了? HTML 中连接地址,开始处的 // 双斜杠是代表啥意思?? 如何用VBS实现网页跳转(求代码) 把自己写的代码从头到尾在主函数里输出?--代码如下(请各位不吝赐教)! 用JS获得2个或以上的参数的函数 哪里有好的LINUX收费空间?? 按规定到个分 跪求允许在线10000人,同时请求达到300以上的apache+tomcat集成配置信息? 域名解析错误怎么解决? VB.net 操作Excel 的问题,高手请进。 怎样走好编程第一步? 求救:关于RegSetValueEx方法 C#调用 OCX 多事件 !! 高手请帮忙!!!! 如何禁止从WebBrowser向外拖动超连接 如何在spring中将事务包含在struts中的action中,我现在的情况是事务不起作用啊 如何对数据库的某一字段进行MD5加密再将此加密后的内容写回该数据库字段相应的位置?? 数字电路接地为什么要走环路? 如何将ArryList数组排序 VB中用Flatscrollbar滚动excel文档 2个文件进行16进制对比替换VC? 在抓取的图像上作文本注释,哪个软件是老大,并且能反复修改以前做过的注释。 在抓取的图像上作文本注释,哪个软件是老大,并且能反复修改以前做过的注释。 为什么我安装的qmail不能给hotmail发送邮件呢! C#调用 OCX 多事件 !! 高手请帮忙!!!! 重装系统 在抓取的图像上作文本注释,哪个软件是老大,并且能反复修改以前做过的注释。 在抓取的图像上作文本注释,哪个软件是老大,并且能反复修改以前做过的注释。 虚成员函数和非虚成员函数的调用方式的区别 请教对象指针链表的问题