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

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

各位大侠,还是读写文件问题,再百分相送 关于oA 我rpg游戏的地图编辑器的理解,不知对否,请执教? delphi的string与pchar 大哥们快来帮忙啊。。Error spawning cl.exe 章氏同胞过来啦,上上咱们自己的论坛,寻寻你的根! 很急啊,问大家一个有关财务软件方面的问题 关于<<思科网络年技术学院教程>>的一道题 哪儿有支持多列的listview?(内详) 求reportmachine的资料和demo 章氏同胞过来啦,上上咱们自己的论坛,寻寻你的根! 大哥们快来帮忙啊。。Error spawning cl.exe Linux中显示问题---初学者问题 为什么我下载的一些论坛源代码,但是我都找不到access数据库文件放在哪里的啊 暴爽,继申请了BigFootGame.Com和FAQC.COM(FAQ Center)后,又成功申请了LoveShe.Com,很失望的是抢注ToStudy.com失败,请大家多提有关\0 有关登录窗口的问题,请朋友指点! 请问如何设置“网络打印机 hp LaserJet 1300”? 如何编写frontpage,真的。 关于以delphi开发OCM+这本书 麻烦谁给一段 ASP删除WEB站点的代码!!! 34.珑管显示器是不是等离子显示器?各有什么区别?. 请问哪里有《80x86汇编语言程序设计教程》的习题答案? 关于传单 求救~!用Wap如何取得访问者的手机号?? 请问谁有类似李世尧的打印控件,如果有的话,我愿花money购买! ASP难学吗? 多选选单的GET和POST问题?@@@@@@@@@@(100分相送) 如何在一台机上备份出master数据库还原到另一台机上? 在SQL中如何更改一个已创建好的数据库的排序规则 请问怎么样使用NetGroupAddUser来把一个用户加入Administrators组