FORMAL SPECIFICATION OF GRAPHICAL NOTATIONS AND GRAPHICAL SOFTWARE TOOLS

[1] THE RAPID GENERATION OF A CLASS OF SOFTWARE TOOLS [J]. COMPUTER JOURNAL, 1986, 29 (02) : 151 - 160

[2] A SOURCE CODE CONTROL-SYSTEM BASED ON SEMANTIC NETS [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (12) : 1159 - 1168

[3] INCE DC, 1983, SIGPLAN NOTICES, V18, P31, DOI 10.1145/988227.988230

[4] Jackson M, 1983, SYSTEM DEV

[5] ROSE G, 1983, P IFIP 83 PARIS

[6] FORMATTED PROGRAMMING-LANGUAGES [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (07) : 651 - 669

[7] Woodman M., 1984, PROTEXT I. Proceedings of the First International Conference on Text Processing Systems, P240

[8] WOODMAN M, 1985, 6TH P INT WORKSH SOF, P244

[9] WOODMAN M, 1986, P BCS C WORKSTATIONS

[1] THE RAPID GENERATION OF A CLASS OF SOFTWARE TOOLS [J]. COMPUTER JOURNAL, 1986, 29 (02) : 151 - 160

[2] A SOURCE CODE CONTROL-SYSTEM BASED ON SEMANTIC NETS [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (12) : 1159 - 1168

[3] INCE DC, 1983, SIGPLAN NOTICES, V18, P31, DOI 10.1145/988227.988230

[4] Jackson M, 1983, SYSTEM DEV

[5] ROSE G, 1983, P IFIP 83 PARIS

[6] FORMATTED PROGRAMMING-LANGUAGES [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (07) : 651 - 669

[7] Woodman M., 1984, PROTEXT I. Proceedings of the First International Conference on Text Processing Systems, P240

[8] WOODMAN M, 1985, 6TH P INT WORKSH SOF, P244

[9] WOODMAN M, 1986, P BCS C WORKSTATIONS