124
click to vote
ZUM
2000
Springer
15 years 8 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...
115
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
with abstraction and refinement for managing features interactions A methodological approach to feature interaction problem Dominique Cansell and Dominique M
142
click to vote
ZUM
2000
Springer
15 years 8 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...
152
click to vote
ETD2000
1995
15 years 8 months ago
1995
This paper reports the application of evolutionary computation in the automatic generation of a neural network architecture.It is a usual practice to use trial and error to find a...
123
Voted
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...