Computer programs; Software engineering; Specifications; Knowledge based systems; Input; Methodology; Air force; Integrated systems; Automation; Models; Tools; Coding; Engineers; Generators; Utilization; Automatic;
机译:使用形式语言来整合Holonic MAS方法:一种用于分析问题和代理商领域的规范方法
机译:将基于动画的检查集成到可靠软件系统的正式设计规范构建中
机译:集成正式规范,审查和测试以增强软件可靠性的框架
机译:正式的软件工程范式:通过对软件的要求竞争域 - 正式规格和设计计算 -
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:整合半正式和正式软件规范技术