7380 search results - page 531 / 1476 » Engineering Software Intensive Systems |
156
click to vote
ISSRE
2008
IEEE
16 years 21 days ago
2008
IEEE
As software systems evolve, the size of their test suites grow due to added functionality and customer-detected defects. Many of these tests may contain redundant elements with pr...
167
click to vote
KBSE
2006
IEEE
16 years 9 days ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
154
Voted
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
136
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ...
162
click to vote
WOSP
2004
ACM
15 years 11 months 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 ...