580 search results - page 73 / 116 » A Requirements Elicitation Approach Based in Templates and P... |
352
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
144
click to vote
IWPC
2006
IEEE
16 years 2 hour ago
2006
IEEE
Object-oriented legacy systems are hard to maintain because they are hard to understand. One of the main understanding problems is revealed by the so-called ”yo-yo effect” tha...
162
click to vote
TOOLS
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
126
click to vote
VLBV
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose a very simple FIR pre-filter based method for near optimal least-squares linear approximation of discrete time signals. A digital pre-processing filter,...
170
click to vote
IEE
2008
15 years 6 months ago
2008
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...