从轻量级形式化方法出发的需求建模——用Radl语言对MIS系统进行规范描述的案例研究

从轻量级形式化方法出发的需求建模 ——用Radl语言对MIS系统进行规范描述的案例研究 摘要 形式化方法对提高软件的正确性、可靠性意义重大，可大幅度减少软件的后期维护费用，但由于设计周

[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3

[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3

[/ur

[/ur

[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3

[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3

[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2

对计算机系统进行维护，是我们经常要做的一项基本工作。目前很多维护工作都有相应的工具，但是更多的“杂”事却只能依靠维护人员的经验。这里根据笔者的一些维护经验，介绍几个利用注册表来进行系统维护的方法，