机译:验证支持环境(VSE)中的正式软件开发
机译:寻求对软件模型检查的支持:提高正式规范的效率
机译:寻求对软件模型检查的支持:提高正式规范的效率
机译:软件环境支持综合正式计划规范和开发
机译:ENCOMPASS:一种使用可执行的基于逻辑的规范进行增量软件开发的环境。
机译:未诊断疾病计划集成协作系统(UDPICS):一个计划开发定制软件以支持复杂疾病家庭研究的经验
机译:集成正式程序规范和开发的软件环境支持
机译:ada集成环境的计算机程序开发规范:KapsE(内核ada编程支持环境)/数据库,类型B5,B5-aIE(1).KapsE(1)。