封面
中文摘要
英文摘要
目录
第1章 绪论
1.1 课题来源与背景
1.2 课题意义
1.3 国内外相关研究现状
1.4 论文的主要内容
1.5 小结
第2章 系统需求分析
2.1 系统目标
2.2 系统功能需求
2.3 系统非功能需求
2.4 小结
第3章 系统设计
3.1家庭护理计划的领域特定语言
3.2 系统架构的设计
3.3 数据库层的设计
3.4 图形用户界面层设计
3.5 逻辑层中模型检查模块的设计
3.6 关键技术
3.7 小结
第4章 系统实现与测试
4.1 系统实现环境
4.2 数据库层实现
4.3 用户图形界面层的实现
4.4 逻辑层模型检查实现
4.5 系统测试
4.6 小结
结论
参考文献
声明
致谢
个人简历