332 search results - page 46 / 67 » A specification-based approach to testing software product l... |
VAMOS
2007
Springer
14 years 1 months ago
2007
Springer
Requirements for product families are expressed in terms of commonality and variability. This distinction allows early identification of an appropriate software architecture and ...
ASM
2010
ASM
14 years 2 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
WOTUG
2008
13 years 9 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
UM
2005
Springer
14 years 1 months ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...