2796 search results - page 80 / 560 » A time structure based software reliability model |
122
Voted
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...
121
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
117
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
104
Voted
TOPNOC
2008
15 years 2 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
128
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...