Enterprise interoperability; Software specification; Software validation; Service Oriented Architectures; Business Process Modeling;
机译:编写和验证互操作性需求:应用于协作流程
机译:互操作性需求规范和验证在行业协作过程中的应用
机译:通过控制的自然语言要求验证,验证和测试COQ中的定时数据流动无功系统
机译:验证和验证互操作性要求
机译:用于验证和确认软件需求的特定领域方法。
机译:一个互操作性平台,可重复使用电子病历进行信号验证研究
机译:互操作性需求规范和验证的方法
机译:C2系统中的语义互操作性及其验证与验证