1128 search results - page 121 / 226 » Little Engines of Proof |
98
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
99
Voted
HICSS
2007
IEEE
15 years 7 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...
102
click to vote
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
79
Voted
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
Many small and medium-sized systems have little or no design documentation, which makes program understanding during maintenance enormously more difficult when performed by outsi...
103
click to vote
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...