Deriving specifications from requirements: an example

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1995, Pages 15-24

  Jackson, Michael ^a   Zave, Pamela ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; CONSTRAINT THEORY; CONTROL SYSTEMS; MACHINE ORIENTED LANGUAGES; PROBLEM SOLVING;

ENVIRONMENT PHENOMENA; HARDWARE/SOFTWARE MACHINE; REQUIREMENTS;

SOFTWARE ENGINEERING;

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

References (11)