198
Voted
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
144
Voted
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
152
Voted
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
155
Voted
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
163
click to vote
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
130
Voted
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer