22698 search results - page 192 / 4540 » Modeling in Software Engineering |
156
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
122
Voted
WOSP
2004
ACM
15 years 9 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 ...
111
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
150
Voted
IWPC
2002
IEEE
15 years 8 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
127
Voted
VAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Goal models have been found to be effective for representing and analyzing variability at the early requirements level, by comprehensibly representing all alternative ways by whic...