B语言相关论文
本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最......
<正> 1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成......
本文详细的介绍了Visual Basic多媒体控件MCI其所提供的属性和事件,以具体实例说明了多媒体控件的调用方法,及Visual Basic多媒体......
分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-Based Formalization),通过将UML模型转化为B抽象机描述实......
MDA为软件的自动化构造提供了一种良好的途径，但是MDA更多地关注PIM到PSM的转换，却忽视了需求阶段对PIM精确性的影响。本文针对这种......
该文介绍了形式化方法中B语言和UML／OCL语言，从软件开发生命周期的角度对B语言和OCL语言进行了比较，归纳了这两种形式化语言的异同和......
随着形式化方法技术的不断发展,各具特色的形式化方法不断的涌现出来,这些形式化方法都有着各自不同的特点,该文力图改变众多形式......
借助传统编程语言的面向方面编程扩充——AspectJ/AspectC＋＋的技术经验，提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩......
作为基于通信的列车控制(Communication Based Train Control,CBTC)系统的安全关键设备,联锁系统的结构、功能逻辑复杂,软硬件集成......
随着全球化的日益发展,国际交往日益频繁,翻译的作用越来越大,口译工作受到越来越多的关注。笔记语言的选择有很多论述偏于主观臆......
随着中国改革开放越来越向纵深发展,各种国际会议和交往越来越多,会议口译(即交替传译和同声传译)实践和研究也越来越引起从业译员......
在对计算机软件进行编程的过程当中,可以对C语言加以利用实现对程序设计步骤的简化,同时让程序运行结果更为准确。此外,将C语言作......
联合国、欧盟以及AJIC一向提倡译员从外语(B语言)译入母语(A语言)。尽管如此,越来越多译者需要从A语言译入B语言。本论文探讨口译......
随着全球化的日益发展,国际交往日益频繁,翻译的作用越来越大,口译工作受到越来越多的关注。本文回顾了有关交替传译笔记的文献,发......
