共 8 条
[1]
Gries D.(1996)The need for education in useful formal logic IEEE Computer 29 29-30
[2]
Holloway C.M.(1996)Impediments to industrial use of formal methods IEEE Computer 29 25-26
[3]
Butler R.W.(1996)Mathematical methods: what we need and don't need IEEE Computer 29 28-29
[4]
Parnas D.L.(1992)Database meta-translation technology: integration, status and application Database Technology 4 259-263
[5]
Fiddian N.J.(undefined)undefined undefined undefined undefined-undefined
[6]
Gray W.A.(undefined)undefined undefined undefined undefined-undefined
[7]
Ramfos A.(undefined)undefined undefined undefined undefined-undefined
[8]
Cooke A.(undefined)undefined undefined undefined undefined-undefined