Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 7.Ident. | Authors (with country if any) | Title |
---|---|---|
000A53 | M. Heisel [Allemagne] ; J. Souquieres [France] | De l'élicitation des besoins à la spécification formelle |
000B04 | E. Meyer [France] ; J. Souquieres [France] | A systematic approach to transform OMT diagrams to a B specification |
000B07 | M. Heisel [Allemagne] ; J. Souquieres [France] | A method for requirements elicitation and formal specification |
000B26 | T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France] | Assistance au développement de spécifications de protocoles de communication |
000C21 | N. Levy [France] ; J. Souquieres [France] | Modelling specification construction by successive approximations |
000C83 | J. Souquieres [France] ; N. Levy [France] | PROPLANE : A specification development environment |
000D18 | J. Souquieres [France] ; R. Darimont | La description du développement de spécifications |
This area was generated with Dilib version V0.6.33. |