Improving Precision of Use Cases by Formally Specifying Operations


Published in:
"Can Formal Methods Cope with Software-Intensive Systems", Dagstuhl Seminar
Year:
2001
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)