机译:非正式和正式的软件建模符号是否使软件架构建模的从业人员满意?
机译:验证和认可非正式和非正式获得的学习成果的需求:一项比较研究
机译:非正式与正式:马达加斯加的收入差距的面板数据分析
机译:验证形式对非正式软件模型转换的益处的比较分析
机译:对非正式和正式汇款系统的历史,法律和政策进行比较分析。
机译:社区痴呆症患者对正规和非正式护理的利用:瑞典和意大利的比较研究
机译:正式或非正式,实际或不切实际:将正式方法与软件工程教育中的非正式实践相结合
机译:从非正式要求中提取形式模型并使用它们进行验证