3441 search results - page 639 / 689 » Provenance of Software Development Processes |
103
Voted
JSS
2010
15 years 1 months ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
112
Voted
JUCS
2010
15 years 1 months ago
2010
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
134
Voted
ECBS
2010
IEEE
15 years 19 days ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
120
Voted
TACAS
2010
Springer
15 years 14 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
140
Voted
ENTCS
2010
15 years 54 min ago
2010
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...