6167 search results - page 96 / 1234 » Can Refinement be Automated |
154
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
129
click to vote
AAAI
2008
15 years 6 months ago
2008
To-do lists have been found to be the most popular personal information management tools, yet there is no automated system to interpret and act upon them when appropriate on behal...
135
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
131
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
Testing is an essential part of an agile process as test is automated and tends to take the role of specifications in place of documents. However, whenever test cases are faulty, d...
136
Voted
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...