论文研究 用LTL模型检验的方法验证SpaceWire检错机制.pdf

老年人的数量和比例不断增加，设计适合老年人使用的手机以提高老年人的生活质量、改善老年人的生活状态具有重要的社会意义和经济意义。通过对使用上下文，即老年人用户的特点、老年人使用手机的特点及现有手机制造和软件设计技术的分析，找出影响老年人手机可用性的六个核心要素，针对每个要素提出相对应的设计要点，并以此为基础提出一种新的老年人手机设计方法：D-Checklist法。通过评估说明此方法可以有效提高所开发的老年人手机的可用性。