.png){kind=icon}
返回
Tool support for iterative software process modeling
.png){kind=icon}
PRE
AI
DOI：10.1016/j.infsof.2006.07.006.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
To formalize a process, its important aspects must be extracted and described in a model. This model is often written in a formal language so that the process itself can be automated. Since models are often developed iteratively, this language should support this iterative development cycle. However, many existing languages do not. In this paper, we use an existing high-level process modeling language and present a tool that we have developed for supporting iterative development. We have used our tool to develop and refine a process model of distributed software development for NetBeans. (c) 2006 Elsevier B.V. All rights reserved.
Keyword:
process modeling
model verification
static analysis
PML
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
暂无机构信息
引用论文
Elevated Serum IgE Levels in Children with Nephrotic Syndrome, a Steroid-Resistant Sign?.png)
Nephron
OAAI
NephronIF0
OAAI分享收藏Late Bronze Age climate change and the destruction of the Mycenaean Palace of Nestor at Pylos青铜时代晚期的气候变化和皮洛斯内斯特迈锡尼宫的破坏PLOS ONEOAAI
PLOS ONEIF0
OAAI分享收藏Software process validation: Quantitatively measuring the correspondence of a process to a modelOAAI
OAAI分享收藏分享收藏
查看更多内容