arrow
Return

Tool support for iterative software process modeling

delete2007-05-01
delete11
PRE
AI
D
Darren C. Atkinson *
D
Daniel C. Weeks
J
John Noll
DOI:10.1016/j.infsof.2006.07.006delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

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.
Keywords:
process modeling
model verification
static analysis
PML
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Information and Software Technology cover
Information and Software Technology
IF:
4.3
Papers:
3.7K
Citations:
7.7K

Organization

No organization information available