AsmL实例研究（一）
透过上面这个例子，我们可以了解到一些用AsmL描述的可执行规格的基本信息。整体结构上，可执行规格与传统的软件规格并没有太大不同。它将对软件逻辑的描述，用AsmL代码的形式，以特殊的符号（这里是AsmL
为了能够对AsmL有一个更加感性的认识，同时也为了了解如何使用AsmL建模，我们不妨来研究一个AsmL的实例。下面这个例子是一个用AsmL写成的设计规格的Word版本，它来自于AsmL2.1.5.8所
Java平台的j2ee有其庞大复杂的结构，要认真领会最好的方法就是从一个实例入手。 先到下载j2ee-1_4-doc-tutorial_3.zip。
Delphi Open Tools Api实例研究（二） 先行知识：Delphi/接口/DLL/COM（了解） 难度：★★☆☆☆ 在开始之前先说一些题外话，这段时间一直很忙（
先行知识：Delphi/接口/VCL组件包/COM（了解） 难度：★★☆☆☆ 在这篇文章正式开始以前，首先向大家道歉。因为这个月的专栏文章本该很早就发布，但由于一些事情所以一直推迟到现
清华大学微电子学研究所与荷兰ASML公司最近在京签署协议，双方决定在光刻技术领域开展合作研究。有关专家认为，这一项目的开展，不但有利于保持双方在相关科技领域的领先地位，也有利于进一步提高清华大学微电子
中芯国际上海集成电路公司(SMIC)宣布与荷兰ABN AMRO Bank N.V.及Commerz bank(Nederland)N.V共同签订金额达8,500万欧元的长期贷款合约，此款项将用在中芯国
AsmL听起来相当的神奇，尤其是它所建立的模型可以作为这些模型所描述的系统的模拟程序来运行这一特性，不但能够帮助我们在着手实现之前检查我们的设计的完备性，而且还能够帮助我们在实现过程中检查设计的合理性
AsmL是一种以抽象状态机（Abstract State Machines, ASM）为基础的软件规格语言。它由微软研究院的软件工程基础小组开发并维护，目前的版本是AsmL2（AsmL for Mic
[url=http://www.wangchao.net.cn/shop/redir.html