Skip to main navigation
Skip to search
Skip to main content
University of Hertfordshire (Research Profiles) Home
Home
Researchers
Research output
Projects
Research units
Search by expertise, name or affiliation
Measuring human inferential complexity in formal specifications : a predictive model for the Z notation
R.J. Vinter, M.J. Loomes,
D. Kornbrot
Centre for Research in Psychology and Sports
School of Life and Medical Sciences
Applied Psychology Research Group
Research output
:
Book/Report
›
Other report
47
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Measuring human inferential complexity in formal specifications : a predictive model for the Z notation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Z Notation
100%
Predictive Models
100%
Development Decision
100%
Formal Specification
100%
Reasoning Bias
50%
Software System
50%
Software Project
50%
Tentative Model
50%
Software Specification
50%
Software Developers
50%
Human Error
50%
Linguistic Properties
50%
Logical Reasoning
50%
History of Software Engineering
50%
System Specification
50%
Cognitive Experiment
50%
Software Metrics
50%
Reasoning Errors
50%
Computer Science
Predictive Model
100%
Formal Specification
100%
Software Metric
50%
Software Project
50%
Software Specification
50%
Logical Reasoning
50%
Software Developer
50%
Software Systems
50%
Software Engineering
50%
Linguistic Property
50%
System Specification
50%