6167 search results - page 159 / 1234 » Can Refinement be Automated |
134
click to vote
AGILEDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...
138
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...
145
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Disruption of electric power operations can be catastrophic on the national security and economy. Due to the complexity of widely dispersed assets and the interdependency betwee...
104
Voted
WISE
2007
Springer
15 years 10 months ago
2007
Springer
More and more personal data is exposed to automatic and programmatic access, making it more difficult to safeguard the personal information from unauthorised access at every step. ...
134
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...