论文部分内容阅读
《炼钢》杂志2003年征订启事
【出 处】
：
冶金能源
【发表日期】
：
2002年5期
其他文献
UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。
根据公司发展战略，四川航空股份有限公司服务系统的提升目标是：逐步完成从注重优质服务到重视服务内涵、提升服务价值的转变。以服务提升品牌，以品牌创造价值，使公司的服务工作达
意大利人莱奥纳多·达·芬奇(1452-1519),是欧洲文艺复兴时期的画家、自然科学家、工程师,在艺术界,他的代表作《最后的晚餐》壁画和《蒙娜丽莎》肖像画为妇孺皆知;
期刊
5月30日下午,我们盘锦市学通社的小记者来到盘锦国贸酒店三楼国际厅,这里将举行"网通杯"——"我是环保小卫士"征文颁奖大会。到会人员有盘锦市人大常委会副主任王丽娟、盘锦
期刊
景谷县杂交水稻制种研究始于1977年，历经了24个春秋，走过了发展、徘徊、停滞、再发展的曲折道路，经历了面积由小到大，单产由低到高，技术力量由弱到强的完善发展过程。1990年系统地
我国已跨入WTO的大门,各行各业都在进行积极改革.作为现代企业内部制度的重要组成部分的内部审计制度所面临的形势更为严峻.鉴于此,本文对我国内部审计制度存在的问题及发展