简介：在使用多媒体教学手段的过程中,出现了各种各样的形式主义,究其原因,主要是由于教学理念滞后于教学手段以及存在把改变教学手段当作唯一目的的错误思想认识.所以只有根治错误思想,才能有效运用现代技术手段,不至走入形式主义的误区.
简介：统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。
简介：论述学习形式的多样性是历史积淀的结果，通过对航海教育形式的分析认为，航海高职院校成人高等教育保留脱产形式是非常必要的，提出在航海教育办学形式上切忌一刀切，要加强航海教育质量的监管。
简介：本文论述了自由裁量权在海事行政处罚中的表现形式及其必要性,指出了自由裁量在海事行政处罚中存在的问题,提出了如何合理控制自由裁量权的相关对策。
莫进入形式主义多媒体教学的误区
基于B方法的UML类图形式化研究
航海高职院校成人高教保留脱产形式的必要性
自由裁量权在海事行政处罚中的表现形式及其控制机制
