2682 search results - page 369 / 537 » An Iterative-Cyclic Software Process Model |
107
click to vote
EUROMICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
The initial steps in carrying out a feasibility analysis for a web project, based on information obtained interactively from a prospective client, are modelled as a rulebased expe...
135
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
119
Voted
NRHM
1998
15 years 2 months ago
1998
: Due to the tremendously increasing popularity of the World-Wide Web, hypermedia is going to be the leading online information medium for some years to come and will most likely b...
119
click to vote
TACAS
2010
Springer
15 years 13 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...
145
Voted
CONSTRAINTS
2011
14 years 9 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...