|
|||||
|
|
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements |
|
| Authors: | Patrick Heymans Eric Dubois |
| Affiliation: | (1) Institut d’Informatique, University of Namur;, BE;(2) SWIFT, La Hulpe, Belgium, BE |
| Abstract: | |
| Keywords: | :Animation – Formal methods – Message sequence charts – Scenarios |
| 本文献已被 SpringerLink 等数据库收录！ | |