Formal refinement patterns for goal-driven requirements elaboration

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239131 ◽

1996 ◽

Cited By ~ 130

Author(s):

Robert Darimont ◽

Axel van Lamsweerde

Download Full-text