User menu

Formal refinement patterns for goal-driven requirements elaboration

Bibliographic reference Darimont, Robert ; van Lamsweerde, Axel. Formal refinement patterns for goal-driven requirements elaboration.The 4th ACM SIGSOFT symposium on Foundations of software engineering (San Francisco, USA , du 16/10/1996 au 18/10/1996). In: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, 1996, p. 179-190
Permanent URL http://hdl.handle.net/2078.1/131642