8627 search results - page 465 / 1726 » Software Engineering Using RATionale |
202
Voted
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
188
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Authorship attribution is used to determine the creator of works among many candidates, playing a vital role in software forensics, authorship disputes and academic integrity inve...
161
click to vote
EWSA
2004
Springer
16 years 8 days ago
2004
Springer
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...
199
Voted
VAMOS
2007
Springer
16 years 29 days 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...
160
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
Research has provided evidence that type usage in source files is correlated with the risk of failure of software components. Previous studies that investigated the correlation b...