|
 
|
[GFS06] EB3 : Formal Language and Application
Chapitres de Livre : January 2006, pp. 259-274,
motcle:
Résumé:
This book is a collection of specifications for the same case study. Each chapter uses a different approach to specify the case study. In our chapter, we present and use the EB3 language. EB3 is a formal language specially created for the specification of information systems.
BibTeX
| @inbook { | |||
| GFS06, | |||
| title | = | "{}", | |
| chapter | = | "{EB3 : Formal Language and Application}", | |
| author | = | "F. Gervais and M. Frappier and R. St-Denis", | |
| year | = | 2006, | |
| pages | = | "259-274", | |
| } | |||
