排序方式： 共有3条查询结果，搜索用时 0 毫秒
1
1.
由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础. 相似文献
2.
基于构件的开发方法是比较成熟的软件复用技术,但它不适合中小型软件企业采用,敏捷开发过程可以应对需求的变化和不明确的需求,可以帮助企业快速响应市场赢得竞争,但它不是面向复用的,缺乏明确的面向复用的策略,而两者具有很好的互补性,因此,本文提出一种把两者结合起来适合于中小型软件企业的开发方法。 相似文献
3.
XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见.本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例. 相似文献
1