279 search results - page 32 / 56 » Abstraction and refinement techniques in automated design de... |
EWCBR
1998
Springer
14 years 21 days ago
1998
Springer
Abstract. Case-Based Design CBD applies a knowledge-based process to the knowledge commonly associated with Case-Based Reasoning CBR systems the library of exemplars. This paper in...
ER
1997
Springer
14 years 19 days ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
ER
1998
Springer
14 years 21 days ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
BMCBI
2007
13 years 8 months ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...