论文部分内容阅读
针对银行软件的特点,阐述了VDM(Vienna Development Method,简称VDM)的由来、基本思想、优点及其开发步骤,并结合银行工作的实际情况,应用VDM对银行存款系统进行了规范说明、程序实现和程序验证,提高了银行存款系统的安全性和可靠性.
VDM在银行软件开发中的应用
【摘 要】
：
针对银行软件的特点,阐述了VDM(Vienna Development Method,简称VDM)的由来、基本思想、优点及其开发步骤,并结合银行工作的实际情况,应用VDM对银行存款系统进行了规范说明、
【机 构】
：
南昌大学计算中心
【出 处】
：
科技广场
【发表日期】
：
2005年2期
其他文献
在湘黔渝三省市交界的清水江畔，文学大师沈从文著作《边城》主人公翠翠的故乡，湘西土家族苗族自治州花垣县边城镇，有一个山清水秀的村子——长老坟村。因为种种原因，该村基础设施
目的：观察吉西他滨（GEM ）与α-干扰素联合灌注免疫化学疗法预防浅表性膀胱癌术后复发的疗效。方法将210例浅表性膀胱癌经尿道膀胱肿瘤电切术后患者分为两组：GEM＋α-干扰素联合应用
目的探讨心脏瓣膜病合并巨大左心室围术期处理的新特点。方法回顾性分析2008年1月至2013年1月24例巨大左心室患者心脏瓣膜手术的临床资料以及围手术期的处理。结果本组24例病
在煤矿使用的胶袋输送机轮斗系统分为固定式和可移动式2种。该文对此类胶带输送机的跑偏做了全面、细致分析，并较详尽论述了常见的各种胶带跑偏故障的防治方法，具有一定借鉴意
巨细胞病毒（cytomegalovirus，CMV）和单纯疱疹病毒（herpes simplex virus，HSV）是TORCH这组致畸微生物中的两种重要病原体。这两种病原体均可引起胎儿流产、早产、宫内发育迟滞、畸形
胃肠道外间质瘤（extragastrointestinal stromal tumors．EGISTs）是指起源于腹腔或腹膜后腔软组织，且与腹壁及消化道浆膜面无关的一类间叶性肿瘤，仅占胃肠道间质瘤（GISTs）的3％～4％，目前相
我院自1996年8月至2006年8月间,采用开腹手术、区域性动脉内灌注抗生素（放射介入治疗）及经皮多脓腔穿刺置管引流等方法治疗多发性肝脓肿39例,取得较满意的疗效,现报道如下。
针对复杂大规模可编程器件的特点，提出了一种新的数字频率计的实现方法。在MAXPLUSII开发软件环境下，采用硬件编程语言VHDL，实现了数字频率计的设计。经过仿真，并下载验证。能够
<正>卵巢囊腺瘤与卵巢囊腺癌是妇科最常见的良、恶性上皮肿瘤[1-2],B超及CT对两者鉴别诊断有一定价值,但良、恶性肿瘤之间影像学表现常有重叠,常规MR序列虽然对壁薄、均匀、