2902 search results - page 65 / 581 » Software Product Lines |
VAMOS
2010
Springer
14 years 11 days ago
2010
Springer
During product configuration, users are prone to make errors because of complexity and lack of system knowledge. Such errors cause conflicts (i.e., incompatible choices selected) a...
ICSE
2009
IEEE-ACM
13 years 8 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...
ICSOB
2010
13 years 9 months ago
2010
Developing product software is getting increasing attention from both academics and practitioners. Organizations are recognizing the benefits and importance of developing a product...
BPM
2006
Springer
14 years 2 months ago
2006
Springer
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
EUROMICRO
2005
IEEE
14 years 4 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...