Items where Author is "Vinter, R.J."

Item Type No Grouping

Applying software metrics to formal specifications : a cognitive approach. (1998) R.J. Vinter, M.J. Loomes and D. Kornbrot

Evaluating formal specifications : a cognitive approach. (1998) R.J. Vinter

Conditional reasoning in language and logic : transfer of non-logical heuristics? (1997) R.J. Vinter, M.J. Loomes and D. Kornbrot

Measuring human inferential complexity in formal specifications : a predictive model for the Z notation. (1997) R.J. Vinter, M.J. Loomes and D. Kornbrot

Quantified reasoning in formal specification : transfer of everyday errors and biases? (1997) R.J. Vinter, M.J. Loomes and D. Kornbrot

A study of disjunctive and conjunctive reasoning in formal logic. (1997) R.J. Vinter, M.J. Loomes and D. Kornbrot

Formal methods: no cure for faulty reasoning. (1996) M. Loomes and R.J. Vinter

Reasoning about formal software specifications : an initial investigation. (1996) R.J. Vinter, M.J. Loomes and D. Kornbrot

Seven lesser known myths of formal methods : uncovering the psychology of formal specification. (1996) R.J. Vinter, M.J. Loomes and D. Kornbrot

Transfer of non-logical tendencies to formal reasoning. (1996) R.J. Vinter

A review of twenty formal specification notations. (1996) R.J. Vinter