w512577152的专栏

该资源可以提供简单的UDP通讯服务，客户端和服务器端都包含

DriverStudio3.2KeyGenAndLicence，包含Key和Licence，真实、有效、实测可用、分享给大家

很好的东西，自己看吧，呵呵，XMLSpy的帮助文档

摘 要 统一建模语言（ %+/） 是一种通用的图形化建模语言， 在面向对象系统的分析和设计中， 它已成为事实上的工业 标准。但是 %+/ 不是形式化的建模语言， 缺乏精确的语义描述， 因此会导致一些问题。< 是一种广泛使用的形式化规约 语言， < 适合用来精确地表示模型的语法和语义。文章采用 < 符号来表示 %+/ 类图的组成元素的语法和语义及其映射 关系， 最后对 %+/ 类图的一些性质进行分析和验证。

UMLStatecharts的模型检验方法 摘 要: 统一建模语言 UML 已广泛应用于软件开发中,验证 UML 模型是否满足某些关键性质成为一个重要 问题.提出了对 UML Statecharts 进行模型检验的方法.首先用扩展层次自动机结构化地表示 UML Statecharts,然 后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义 可以映射到一个 Büchi自动机.使用基于自动机理论的模型检验方法来验证 UML Statecharts 的线性时态逻辑性 质,并给出方法验证由 Statecharts 和协同图建模的复杂多对象系统.

做模型检测，超好的书，很难找的，内容清晰，超好，不说了，下了就知道了

轻松学习XML,很好的书