10055 search results - page 1452 / 2011 » Structured programming using processes |
137
Voted
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
170
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
135
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Bloat control is an important aspect of evolutionary computation methods, such as genetic programming, which must deal with genomes of arbitrary size. We introduce three ...
134
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
162
click to vote
IDA
1999
Springer
15 years 9 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...