formal specification; statistical analysis; CafeOBJ; Irish Electoral System; comprehensibility; empirical investigation; formal specification; informal specification; requirements specification; training;
机译:关于规范的透明度:形成一种用于有限自动机中的离散事件控制规范的设计师可理解性的正式框架
机译:测量软件需求规范的可读性:一项实证研究
机译:在需求规范中存在冗余的情况下,在概念数据库设计过程中提供的咨询支持:一项实证研究
机译:对需求规范可理解性的实证研究
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:妄想症患者的治疗进展将来自更大的规范和实证研究
机译:需求质量规格是否重要?综合结果 两项实证研究
机译:非编程用户辅助开发成本效益要求规范的实证研究