1679 search results - page 115 / 336 » Variability and Component Composition |
JCSS
2010
13 years 7 months ago
2010
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in...
ESSOS
2009
Springer
14 years 3 months ago
2009
Springer
In the search for metrics that can predict the presence of vulnerabilities early in the software life cycle, there may be some benefit to choosing metrics from the non-security rea...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
CII
2006
13 years 9 months ago
2006
The importance of product information management during the whole lifetime of the product has increased due to the technical sophistication of products as well as stricter governm...