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

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

菜鸟+黑客+爱好 关于调试android程序的问题? 这句代码没有意义吗?为何提示我:Null pointer access? 关于图的分割问题,高手进啊! help,这个程序循环怎么不会中止?? eclipse中查怎样看某个方法被谁调用 用MFC调用Fortran的动态链接库(含文件读写)可以实现吗 世界上有哪些很难被揭穿的谣言? 求助,广播Intent传递复杂数据类型 超级玛丽随着人物移动背景移动怎么弄 新手,问一些数据结构的问题 C# ADO.NET中DataSet数据更新到数据库 js刷新问题 为什么用变量后,就查不出结果 java项目发布到linux环境,启动报错 Runtime.getRuntime().exec()问题. C++指针初学 关于$.ajax()遍历后获取服务器结果的问题 fopen函数打开.wav波形文件遇到的问题(绝对路径) 到底什么是js跨域 如何用JavaSE写一个简易的HTTP服务器 如何用JavaSE写一个简易的HTTP服务器 直接获取本程序控件针值与DLL注入方式获取控件针值不相同? word2010 公式 RichEditctrl如何读取文件的部分数据? HttpURLConnection响应的JSON 数据部全是怎么会事?在线等!!!!! 求office,wps插件开发的例子 WPF中 RichTextBox和TextBox 在半角问题 学妹你有男朋友吗 中国电信 拥有上千家非核心业务分公司,有哪些?