13 search results - page 1 / 3 » zum 2000 |
165
Voted
ZUM
2000
Springer
15 years 11 months ago
2000
Springer
with abstraction and refinement for managing features interactions A methodological approach to feature interaction problem Dominique Cansell and Dominique M
149
Voted
ZUM
2000
Springer
15 years 11 months ago
2000
Springer
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
158
Voted
ZUM
2000
Springer
15 years 11 months ago
2000
Springer
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...
193
Voted
ZUM
2000
Springer
15 years 11 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...