作者：梁伟晟; 李磊用户界面规划情景演算验证
摘要：用户界面设计是业务应用系统设计的重要组成部分，验证界面设计正确性与设计用户界面同样重要。界面关系的非直观性和动态性使得界面设计的验证并不容易。以初始界面开始得到最终界面的过程可以看作是规划问题。为此，我们引入情景演算来解决界面设计的验证问题。我们在经典情景演算中引入界面检验机制，用带检验机制的情景演算来表达界面的规划，在规划过程中实现界面设计的验证，最终通过规划结果判断界面设计的正确性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机科学》（CN：50-1075/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机科学》报导国内外计算机科学与技术的发展动态，以其新颖、准确、及时为特色，突出动态性、综述性、学术性，“前沿学科”与“基础研究”相结合；“优秀技术”与“支撑技术”相结合；“倡导”与“争鸣”相结合。
省级期刊
人气 753007 评论 72
人气 483813 评论 71
人气 462637 评论 66
部级期刊
人气 441826 评论 69
