位置：成果数据库 > 期刊 > 期刊详情页
参数化系统安全属性的启发式符号验证
  • 期刊名称：软件学报. 已录用.
  • 时间：0
  • 相关项目：多维度软件需求描述与控制方法研究
同期刊论文项目
多维度软件需求描述与控制方法研究
期刊论文 32 会议论文 27
同项目期刊论文
软件工作量最优线性组合估算方法
功能点分析方法研究
基于MDA的TRISO-Model模型管理方法及应用
一种基于组织实体能力的软件过程建模方法
基于度量工具的软件成本估算模型使用方法
用于软件开发工作量估算的IOP模型
个性化领域知识支持的用户主导需求获取方法
A Flexible Negotiation Model for an Agent-Based Software Process Modeling
TRISO-model: A new approach to integrated software process assessment and improvement
软件成本估算方法及应用
Applying Little-JIL to Describe Process-Agent Knowledge and Support Project Planning in SoftPM
Estimating Fixing Effort and Schedule based on Defect Injection Distribution
软件过程建模方法研究
动态需求跟踪方法及跟踪精度问题研究
一种用于软件过程建模的适应性Agent协商
主成分分析和聚类分析在软件重构中的应用
软件缺陷预测技术
一个三维需求模型及其对涉众协同的支持
一种风险驱动的迭代开发需求优先级排序方法
基于数据包络分析的软件任务性能基准评价
基于收益的软件过程资源调度优化方法
一种用于软件采购定价的成本估算系统
多角色需求评审系统的设计与实现
基于WinWin模型的需求协商工具的设计与开发
基于组件最优组合的需求优先级排序方法
基于注释改进动态需求跟踪的方法
基于价值的软件测试工作量估算模型
基于IEEE830-1998的多角色需求度量方法
参数化系统安全性的启发式符号验证