11784 search results - page 85 / 2357 » Improving Software Process Improvement |
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
132
Voted
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
108
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
132
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
143
click to vote
ISPW
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...