6 search results - page 1 / 2 » icfem 2000 |
ICFEM
2000
Springer
13 years 8 months ago
2000
Springer
ICFEM
2000
Springer
13 years 8 months ago
2000
Springer
ICFEM
2000
Springer
13 years 8 months ago
2000
Springer
ICFEM
2000
Springer
13 years 8 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
13 years 8 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...