2154 search results - page 62 / 431 » Evidence-based software production |
95
Voted
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...
100
Voted
ICSM
2008
IEEE
15 years 7 months ago
2008
IEEE
We have proposed the notion of software tag, which is a complex of various characteristic elements of software development project. Empirical data for the is collected and abstrac...
147
click to vote
XPU
2010
Springer
14 years 11 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
117
Voted
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Metrics have long been used to measure and evaluate software products and processes. Many metrics have been developed that have lead to different degrees of success. Software arch...