论文部分内容阅读
借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质.
需求建模的形式化方法研究
【摘 要】
：
借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质.
【机 构】
：
浙江师范大学,软件研发中心,浙江,金华,321004
【出 处】
：
第四届中国软件工程大会
【发表日期】
：
2007年4期
其他文献
以较为流行的网络文件下载软件BitTorrent为例，探讨基于对等网技术的分布式模式下文件分发的工作原理，并采用简单而有效的算法实现了大型文件的高效和可靠下载。
冲电气工业株式会社（OKI）宣布其在2008年3月推向市场的会话边界控制器CenterStage NX3200上内置了行业首例运营商级编解码器变换功能，实现了利用移动网、固定网的各种各样语音编
6月11日，枣庄市60余名献血志愿者代表，会聚枣庄市中心血站，商议通过了无偿献血志愿者俱乐部章程，成立了理事会和执行机构，选举胡庆宇为理事长，张令刚、胡安源、许金莹、王德中为副
Sun公司近日在中国发布依靠以多线程（CMT）技术和Solaris10为核心的虚拟化技术，以及基于UltraSPARC T2多核处理器的SunSPARC T系列服务器，Sun公司将多核、多线程和虚拟化技术全面
在供热管道上普遍使用轴向波纹补偿器来补偿管道热伸长,然而我们在长期工程实践中发现,采用旋转补偿器同样能够达到直埋管的美观,而对管道的安全可靠性、经济性都有了大大的
本文基于ATDE创新教育理论,以程序设计类课程为教学阵地,对教育技术本科生创新思维培养做出了相关探索与实践。创新思维是高级的问题解决活动。培养学生的创新思维更多体现在