Abstract | ||
---|---|---|
Abstract:This paper proposes a development,process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show,in this paper how,formal B specifications can be derived from informal requirements in the informal notation UAN. Then, these B specifications are validated using the data oriented specification language EXPRESS. Several scenarios can be tested against,these,EXPRESS specifications. Key words:B Method, EXPRESS, UAN, interaction properties, verification, validation, |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/1-4020-8153-7_5 | Human Error, Safety and Systems Development |
Keywords | DocType | Citations |
b method,formal specification of interactive systems.,interaction properties,validation,verification,express,uan | Conference | 3 |
PageRank | References | Authors |
0.49 | 15 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yamine Aït Ameur | 1 | 287 | 52.61 |
Benoit Breholée | 2 | 3 | 0.49 |
Patrick Girard | 3 | 68 | 8.90 |
Laurent Guittet | 4 | 32 | 9.37 |
Francis Jambon | 5 | 84 | 12.27 |