ICFEM
2000
Springer
14 years 2 months ago
2000
Springer
ICFEM
2000
Springer
14 years 2 months ago
2000
Springer
ICFEM
2000
Springer
14 years 2 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 ...
ICFEM
2000
Springer
14 years 2 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...
ICFEM
2000
Springer
14 years 2 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...
ICFEM
2000
Springer
14 years 2 months ago
2000
Springer