Applying software metrics to formal specifications: A cognitive approach

International Software Metrics Symposium, Proceedings

Volumn , Issue , 1998, Pages 216-222

  Vinter, Rick ^a   Loomes, Martin ^a   Kornbrot, Diana ^a  

^a EDS ^*  (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DECISION MAKING; ERROR ANALYSIS; FORMAL LOGIC;

FORMAL SPECIFICATIONS; SOFTWARE METRICS;

SOFTWARE ENGINEERING;

EID: 0032295897     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)