#FIG 3.2
Landscape
Center
Metric
A4
100.00
Single
-2
1200 2
6 1530 1620 3420 5985
4 0 0 50 0 17 12 0.0000 4 135 795 1890 5400 Interfaces\001
4 0 0 50 0 16 12 0.0000 4 180 1875 1530 4850 (Signature, Sentences)\001
4 0 0 50 0 17 12 0.0000 4 180 1170 1800 4300 Static analysis\001
4 0 0 50 0 16 12 0.0000 4 180 1230 1710 3750 Abstract syntax\001
4 0 0 50 0 17 12 0.0000 4 135 540 1980 3200 Parser\001
4 0 0 50 0 18 12 0.0000 4 180 1740 1530 1755 Basic specifications\001
4 0 0 50 0 16 12 0.0000 4 135 345 2115 2650 Text\001
4 0 0 50 0 16 12 0.0000 4 165 1095 1710 5950 XML, ATerms\001
-6
2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
4050 6435 4050 1350 675 1350 675 6435 4050 6435
2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
8325 6435 8325 1350 4950 1350 4950 6435 8325 6435
2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
12645 6390 12645 1305 9270 1305 9270 6390 12645 6390
2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
2250 7875 2250 7200 675 7200 675 7875 2250 7875
2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
3150 8775 3150 8190 1305 8190 1305 8775 3150 8775
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
6570 2565 6570 2745
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
6345 3015 5940 3195
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5895 3465 6300 3735
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
6930 3015 7245 3105
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
7380 3375 6885 3735
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
6345 4005 5850 4320
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
6480 4095 5940 4950
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
6615 4095 6615 5625
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
6840 4050 7425 4275
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
6750 4095 7335 4995
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
10935 2745 10935 3015
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
10935 3240 10935 3510
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
10935 4905 10935 5220
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
10935 5445 10935 5760
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
2295 2700 2295 3015
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2295 3240 2295 3510
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
2295 3825 2295 4095
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2295 4365 2295 4635
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
2295 4905 2295 5175
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2295 5445 2295 5760
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2295 6435 2295 7065
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
4095 3285 4950 3285
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
8325 3285 9270 3285
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
10935 3825 10935 4095
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
10935 4365 10935 4635
2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
4185 7894 4185 7200 2565 7200 2565 7894 4185 7894
2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
4365 8953 4365 7065 450 7065 450 8953 4365 8953
2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
12645 8550 12645 7290 9360 7290 9360 8550 12645 8550
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
10935 6390 10935 7290
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
4365 7965 9360 7965
4 0 0 50 0 18 12 0.0000 4 180 1665 1530 2000 (logic-specific tools\001
4 0 0 50 0 18 12 0.0000 4 165 2190 1305 2200 for CASL and extensions)\001
4 0 0 50 0 16 12 0.0000 4 180 1305 810 7470 Theorem prover\001
4 0 0 50 0 17 12 0.0000 4 180 1485 2610 7695 (e.g. ELAN-CASL)\001
4 0 0 50 0 16 12 0.0000 4 180 1695 1395 8415 Consistency checker\001
4 0 0 50 0 17 12 0.0000 4 180 1380 765 7695 (e.g. HOL-CASL)\001
4 0 0 50 0 16 12 0.0000 4 135 690 2925 7470 Rewriter\001
4 0 0 50 0 17 12 0.0000 4 180 870 1710 8640 (e.g. CCC)\001
4 0 0 50 0 18 12 0.0000 4 180 2520 5400 1755 Graph of CASL sublanguages\001
4 0 0 50 0 18 12 0.0000 4 135 1305 5985 1935 and extensions\001
4 0 0 50 0 16 12 0.0000 4 135 570 5355 3375 PFOL=\001
4 0 0 50 0 16 12 0.0000 4 135 780 7155 3330 SubFOL=\001
4 0 0 50 0 16 12 0.0000 4 180 330 6435 2475 Eq=\001
4 0 0 50 0 16 12 0.0000 4 135 450 6390 3015 FOL=\001
4 0 0 50 0 16 12 0.0000 4 135 480 6345 3960 CASL\001
4 0 0 50 0 16 12 0.0000 4 135 780 5220 4545 SB-CASL\001
4 0 0 50 0 16 12 0.0000 4 135 915 6165 5895 CSP-CASL\001
4 0 0 50 0 16 12 0.0000 4 135 855 5400 5265 CASL-LTL\001
4 0 0 50 0 16 12 0.0000 4 135 720 7155 5220 CoCASL\001
4 0 0 50 0 16 12 0.0000 4 135 810 7155 4500 HasCASL\001
4 0 0 50 0 17 12 0.0000 4 135 795 10530 5400 Interfaces\001
4 0 0 50 0 17 12 0.0000 4 180 1170 10440 4300 Static analysis\001
4 0 0 50 0 16 12 0.0000 4 180 1230 10350 3750 Abstract syntax\001
4 0 0 50 0 17 12 0.0000 4 135 540 10620 3200 Parser\001
4 0 0 50 0 16 12 0.0000 4 135 345 10755 2650 Text\001
4 0 0 50 0 16 12 0.0000 4 165 1095 10350 5950 XML, ATerms\001
4 0 0 50 0 18 12 0.0000 4 135 2415 9810 1665 Structured and architectural\001
4 0 0 50 0 18 12 0.0000 4 180 1200 10395 1890 specifications\001
4 0 0 50 0 16 12 0.0000 4 180 1620 10170 4850 Development graph\001
4 0 0 50 0 16 12 0.0000 4 180 2655 9720 8325 Management of proofs & change\001
4 0 0 50 0 16 12 0.0000 4 180 2355 9810 7965 Heterogeneous proof engine\001
4 0 0 50 0 18 12 0.0000 4 135 540 10665 7650 MAYA\001