1782 search results - page 28 / 357 » Tool Support for Proof Engineering |
DSS
2007
13 years 8 months ago
2007
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...
EUROSPI
2005
Springer
14 years 2 months ago
2005
Springer
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...
VAMOS
2010
Springer
13 years 10 months ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
ESEM
2010
ACM
13 years 6 months ago
2010
ACM
The power and the generality of the findings obtained through empirical studies are bounded by the number and type of participating subjects. In software engineering, obtaining a ...
ESWA
2008
13 years 8 months ago
2008
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...