形式化方法与可视化模型的结合及其应用

阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性.为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程.     

浅谈印制板CAM文件的制作及流程

CAD／CAM是计算机辅助设计／计算机辅助制造（Computer Aided Desiqn／Computer Aided Manufacture）的简称，是当今世界发展最快的技术之一。它不仅促使了生产模式的转变，同时也促进了市场的发展。目前，CAD／CAM技术已经在许多领域中得到应用，在这里只讨论印制电路板中CAM文件的制作。     

地方运营商信息化实施案例之四台州电信:打造"数字台州"

2005年6月,位于浙江省中部沿海地区的台州市实现了全市131个乡镇街道共5107个村“村村通电话”。与此同时,该市电信宽带用户也突破20万户,宽带城域网(IP网)出口带宽达到3G,宽带网络巳全部覆盖乡镇一级,并覆盖到了全市85%以上的行政村。“随风潜入夜,润物细无声”,在台州,信息化正以迅雷不及掩耳的速度影响着人们的生产与生活。对于这一切,台州电信既是见证人,又是创造者。几年来,台州电信以“共享与世界同步的信息文明”为己任,致力于台州信息基础设施建设,不断追求创新,构筑精品网络,满足各种不同层次用户的不同需求,为推进台州政府信息化、行业信息化、企业信息化、社区信息化和农村信息化做出了不懈努力,探索出了一条日趋成熟的信息化建设道路。