141 search results - page 29 / 29 » Partitioning Approach to Visualization of Large Graphs |
ZUM
1997
Springer
14 years 22 days ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...