机译:验证支持环境(VSE)中的正式软件开发
机译:寻求对软件模型检查的支持:提高正式规范的效率
机译:寻求对软件模型检查的支持:提高正式规范的效率
机译:为集成的正式程序规范和开发提供软件环境支持
机译:ENCOMPASS:一种使用可执行的基于逻辑的规范进行增量软件开发的环境。
机译:未诊断疾病计划集成协作系统(UDPICS):一个计划开发定制软件以支持复杂疾病家庭研究的经验
机译:GenGED *中视觉行为模型的方案视图*这项工作得到了德国-巴西软件规范和开发形式和半形式方法图形支持的合作(GRAPHIT)。
机译:ada集成环境的计算机程序开发规范:KapsE(内核ada编程支持环境)/数据库,类型B5,B5-aIE(1).KapsE(1)。