2853 search results - page 415 / 571 » A platform for software engineering research |
143
Voted
QOSA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Software architecture and software architecture practices become increasingly important for information systems since they enable reasoning on the design of the system. T...
114
Voted
VAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
153
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
118
Voted
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
In the recent decades most of the big organizations have adopted maturity driven process improvement efforts (MDPI). Most of these efforts have been inspired of maturity models li...
118
Voted
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...