首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于UML和时序逻辑语言的银行ATM系统描述与求精

中文摘要第1-4页
Abstract第4-7页
第一章 绪论第7-13页
   ·研究背景第7-8页
   ·国内外研究现状及本文工作第8-11页
   ·本文组织结构第11-13页
第二章 软件体系结构概述第13-27页
   ·软件体系结构基本概念第13-15页
   ·软件体系结构风格第15-21页
   ·软件体系结构描述第21-26页
   ·本章小结第26-27页
第三章 基于UML和XYZ/E的软件体系结构描述方法第27-54页
   ·UML 简介第27-29页
   ·UML 和XYZ/E 相结合描述软件体系结构第29-37页
     ·基于 UML 的软件体系结构描述第29-30页
     ·时序逻辑语言 XYZ/E 简介第30-35页
     ·UML 和 XYZ/E 相结合描述软件体系结构的可行性分析第35-37页
   ·UML 的扩展与约束第37-42页
   ·行为描述第42-52页
     ·形式化描述第42-49页
     ·可视化描述第49-52页
   ·本章小结第52-54页
第四章 银行 ATM 系统描述与求精第54-72页
   ·问题描述第54页
   ·银行 ATM 系统总体描述第54-57页
   ·银行 ATM 系统体系结构求精第57-71页
     ·银行 ATM 系统的体系结构风格第59-61页
     ·对连接件的求精第61-62页
     ·对组件的求精第62-65页
     ·对功能组件的求精第65-71页
   ·本章小结第71-72页
第五章 结束语第72-75页
   ·本文工作总结第72-73页
   ·下一步工作第73-75页
参考文献第75-79页
攻读硕士学位期间参加的科研项目和发表(录用)的论文第79-80页
致谢第80页

论文共80页,点击 下载论文
上一篇:钎焊金刚石耐磨性基础研究
下一篇:暂缓判决的实践与创新