2153 search results - page 229 / 431 » From Requirements Models to Formal Specifications in B |
206
click to vote
ADBIS
1995
Springer
15 years 10 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
197
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
191
click to vote
DAIS
2007
15 years 8 months ago
2007
Constructing and executing distributed applications that can adapt to their current operating context, in order to maintain or enhance Quality of Service (QoS) attribute levels, ar...
156
click to vote
VAMOS
2007
Springer
16 years 18 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
181
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...