Logical framework for modeling and reasoning about the evolution of requirements

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1997, Pages 247-257

  Zowghi, Didar ^a   Offen, Ray ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

METALEVEL LOGIC; REQUIREMENTS EVOLUTION;

COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS;

SOFTWARE ENGINEERING;

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

References (30)