15155 search results - page 435 / 3031 » System Software |
168
click to vote
SPLC
2007
15 years 8 months ago
2007
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...
176
Voted
ENTCS
2008
15 years 7 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
162
Voted
TCAD
2008
15 years 6 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
184
Voted
SERP
2003
15 years 8 months ago
2003
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
171
click to vote
FMOODS
2007
15 years 8 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...