一溜烟

几种形式化开发方法的比较。介绍基于模型的三种形式化语言和方法的基本原理 和内容.然后再对其主要优缺点进行分析,最后对这三种语言和方法从七个方面加以分析比较,并列表总结。

应用软件提供文件下载服务，免安装，直接运行，服务地址和服务端口可配置，用户名、用户密码及访问操作权限可配置

C#入门小程序示范实例，windows界面的，学习初步使用C#的基本控件