进一步认识AsmL

AsmL听起来至关的神奇，尤为是它所创建的模型能够做为这些模型所描述的系统的模拟程序来运行这一特性，不但可以帮助咱们在着手实现以前检查咱们的设计的完备性，并且还可以帮助咱们在实现过程当中检查设计的合理性以及实现的正确性。这不正是咱们想要得吗？还等什么？当即down一份来试试吧！（注：若是您还不知道什么是AsmL，不要紧，您能够参考个人另外一篇文章《AsmL: 可执行的软件规格》）<?xml:nam

>>阅读原文<<