Software engineering; Computer programming; Computers; Life (Durability); Deployment; Programming languages; Requirements; Specifications;
机译:正式方法:数学,计算机科学或软件工程?
机译:软件开发生命周期和方法:修复旧版本并采用新版本
机译:车辆轻量化的生命周期评估:估算使用阶段燃料消耗的新型数学方法
机译:向软件工程师讲授形式化方法和离散数学:对建模重点方法的思考
机译:探索将安全性集成到软件开发生命周期(SDLC)方法中
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:TriBITs生命周期模型。版本1.0,用于基于研究的计算科学和工程以及应用数学软件的精益/敏捷软件生命周期模型。
机译:离散数学,形式方法,Z模式和软件生命周期