9006 search results - page 292 / 1802 » Modeling Software |
215
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
169
click to vote
WOSP
2004
ACM
16 years 1 days ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
155
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Rhizome is an end-to-end feature modeling and code generation platform that includes a feature modeling language (FeatureML), a template language (MarkerML) and a template-based c...
152
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
: Software evolves as requirements or technologies change. Tremendous efforts are often needed to support software evolution as evolution may involve reverse engineering and subseq...
183
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...