可执行相关论文
摘要：MDA是一种以模型为中心的新的软件开发模式。可执行UML(xUML)是UML的一个扩展，通过在UML中加入精确的可执行的动作语义，使得建模......
摘要：随着ADA编程语言被引入到星载软件的开发中，相比较汇编编程语言，用ADA编程语言可以大大提高软件的可复用性，缩短开发周期并进而降......
安全信息共享已成为安全策略中最关键的因素之一，与此相对应的是企业的动态安全体系。那么维系动态安全体系的核心又是什么？答案是—......
