hardware description languages; distributed object management; software development management; temporal logic; SoftContract; assertion-based software development process; design-by-contract; model-based design flow; distributed embedded software development; linear temporal logic; assertion-based verification; automated generation; property-checking code; multiple target languages;
机译:面向过程对软件开发项目的适用性:面向过程对软件开发项目的适用性
机译:流程方向对软件开发项目的适用性:过程方向对软件开发项目的适用性
机译:控制矩阵:结合过程和结构的方法来管理软件开发控制矩阵:结合过程和结构的方法来管理软件开发
机译:SoftContract:基于断言的软件开发过程,可按合同进行设计
机译:组织特征,知识管理策略,促成因素和流程能力:美国软件公司中的知识管理绩效。
机译:哈佛大学脑电图自动处理管道(HAPPE):用于发育和高伪像数据的标准化处理软件
机译:softcontract:基于断言的软件开发过程,可以实现按合同设计
机译:启用Nasa软件工程技术的七个流程:增值流程工程