...术研究= Study on System-level Intrusion Detection 一种嵌入式实时系统软件的形式化开发方法= A Formal Software Development 仿人智能推理与控制器的实现= Implementation of Humanlike Intelligent ..
基于1个网页-相关网页
A formal software development method of using data refinement with two times is introduced, which from data refinement to process refinement then to data refinement.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
This isn't a formal model (heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。
During the initial development process a formal software methodology is the best choice to minimized the identified risks.
在初始开发过程中，采用正式软件方法是尽可能地减少已确定的风险的最好办法。
应用推荐