3828 search results - page 499 / 766 » Proof-Based System Engineering Using a Virtual System Model |
196
click to vote
PLDI
2010
ACM
16 years 2 days ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...
180
click to vote
ISSTA
2004
ACM
16 years 13 days ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
179
click to vote
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
A number of enterprises are turning towards the Service Oriented Architecture (SOA) approach for their systems due to the number of benefits it offers. A key enabling technology ...
176
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
169
Voted
FASE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...