1537 search results - page 231 / 308 » Domain-Specific Software Component Models |
220
click to vote
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
145
click to vote
ICSR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
129
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
127
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 5 months ago
2007
Software evolution is an essential concept underlying the engineering of corporate portals. Due to the complexity of such systems, it requires great effort and is not advisable to...
167
Voted
AC
2005
Springer
15 years 4 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...