373 search results - page 13 / 75 » Empowering Software Development Environments by Automatic So... |
99
Voted
EWSPT
1995
Springer
15 years 1 months ago
1995
Springer
Software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and...
67
Voted
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
78
Voted
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
METRICS
1998
IEEE
15 years 1 months ago
1998
IEEE
In any manufacturing environment, the fault injection rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In our fie...
CSSW
2007
14 years 11 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...