2430 search results - page 62 / 486 » Tool support for quality-driven development of software arch... |
GROUP
2003
ACM
15 years 6 months ago
2003
ACM
Software development is typically cooperative endeavor where a group of engineers need to work together to achieve a common, coordinated result. As a cooperative effort, it is esp...
119
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
107
click to vote
TAICPART
2006
IEEE
15 years 7 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
114
click to vote
ESE
2006
15 years 1 months ago
2006
As developers modify software entities such as functions or variables to introduce new features, enhance old ones, or fix bugs, they must ensure that other entities in the software...
124
click to vote
COMPSAC
1997
IEEE
15 years 5 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...