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

Number of items: 11.
Conference or Workshop Item
  • Applying software metrics to formal specifications : a cognitive approach. (1998) R.J. Vinter, M.J. Loomes and D. Kornbrot
    • Report
  • 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