共 49 条
[1]
Arango G., 1985, Third International Workshop on Software Specification and Design (Cat. No.85CH2138-6), P63
[2]
BABB RG, 1985, COMPUTER, V18, P103
[5]
Bennett J. S., 1985, Journal of Automated Reasoning, V1, P49, DOI 10.1007/BF00244289
[7]
BORGIDA A, 1985, COMPUTER, V18, P82, DOI 10.1109/MC.1985.1662870
[8]
CRAWFORD A, 1982, GUIDE INT P
[9]
KBRA - A NEW PARADIGM FOR REQUIREMENTS ENGINEERING
[J].
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS,
1988, 3 (04)
:21-&