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
Evaluating formal specifications : a cognitive approach
R.J. Vinter
Research output
:
Book/Report
›
Other report
230
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Evaluating formal specifications : a cognitive approach'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Cognitive Approach
100%
Formal Specification
100%
Logical Terms
20%
Thematic Content
20%
Cognitive Science
20%
Z Notation
20%
Formal Expression
20%
Human Potential
20%
Predictive Models
20%
Formal Methods
20%
Logical Connectives
20%
Development Decision
20%
Software Engineering
20%
Systematic Bias
20%
Grammatical Properties
20%
Natural Language
20%
Science Literature
20%
Systematic Error
20%
Computer Science
Formal Specification
100%
Cognitive Approach
100%
Predictive Model
20%
Systematic Error
20%
Software Engineering
20%
Psychology
Systematic Error
100%
Cognitive Science
100%