757 search results - page 9 / 152 » How to decide |
145
click to vote
WICSA
2008
15 years 5 months ago
2008
Release planning is the process of deciding what to include in future release(s) of a product. In this paper we look at how software architects are involved during release plannin...
142
Voted
ILC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
126
click to vote
BPM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
122
click to vote
ALP
1994
Springer
15 years 8 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
118
click to vote
WSC
2004
15 years 5 months ago
2004
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...