1005 search results - page 16 / 201 » Patterns for Refinement Automation |
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
TIP
2002
13 years 7 months ago
2002
In this paper, we propose a novel and simple fast block-matching algorithm (BMA), called adaptive rood pattern search (ARPS), which consists of two sequential search stages: 1) ini...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...