6 search results - page 1 / 2 » icfem 2000 |
138
Voted
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
155
Voted
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
170
click to vote
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 ...
168
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...