Environnement programmation And NotJens Gustedt
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000572 | Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-based programming and proving: The ELAN experience outcomes |
| 000707 | Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas] | Environments for term rewriting engines for free! |
| 000767 | M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France] | The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration |
| 000C83 | J. Souquieres [France] ; N. Levy [France] | PROPLANE : A specification development environment |
| 000C87 | A. B. Kaba [France] ; Jean-Claude Derniame [France] | Modelling processes for change : Basic mechanisms for evolving process fragments |
| This area was generated with Dilib version V0.6.33. |  |