4349 search results - page 315 / 870 » A Comprehensive Process Model for Studying Software Process ... |
255
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
144
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
157
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
181
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
134
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...