Framework for multi-notation requirements specification and analysis

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2000, Pages 39-48

  Day, Nancy A ^a   Joyce, Jeffrey J ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; SPECIFICATIONS;

MULTI-NOTATION REQUIREMENTS; TYPECHECKING;

REQUIREMENTS ENGINEERING;

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

References (43)