Computer programs; Automation; Maintenance; Real time; Prototypes; Internet; Configuration management;
机译:用于软件开发中探索性建模的正式建模工具
机译:非正式和正式的软件建模符号是否使软件架构建模的从业人员满意?
机译:推进测试自动化技术以应对基于模型的软件测试的挑战-客座编辑介绍了第三届IEEE国际软件测试自动化研讨会(AST 2008)的特殊部分
机译:先进的测试自动化技术应对模型驱动软件开发的挑战-第三届软件测试自动化研讨会报告
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:正式验证人类自动化交互作为系统模型的一部分:限制和权衡
机译:软件开发中用于自动化的正式模型,最终进度报告