Formal refinement patterns for goal-driven requirements elaboration

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 1996, Pages 179-190

  Darimont, Robert ^a   van Lamsweerde, Axel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONSTRAINT THEORY; COST EFFECTIVENESS; DATA STRUCTURES; DATABASE SYSTEMS; FORMAL LOGIC;

FORMAL REFINEMENT PATTERNS; GOAL DRIVEN REQUIREMENTS ENGINEERING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0030393604     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/250707.239131     Document Type: Conference Paper

References (41)