MIAOw: a Method to Integrate a Process Algebra with Formal Data
by Gwen Salan, Gwen Salan, Gwen Salan, Christian Attiogb, Christian Attiogb, Christian Attiogb
http://www.sciences.univ-nantes.fr/info/perso/permanents/salaun/papers/rr026.ps
Add To MetaCart
Abstract:
26 p. Les rapports de recherche de l'Institut de Recherche en Informatique de Nantes sont disponibles aux formats PostScript et PDF l'URL:
Citations
| 125 | The B-Book – Abrial - 1996 |
| 77 | An Overview of ELAN – Borovansk´y, Kirchner, et al. |
| 52 | Introducing dynamic constraints in B – Abrial, Mussat |
| 48 | The Common Framework Initiative for Algebraic Specification and Development, electronic archives – CoFI - 1998 |
| 34 | CASL – the common algebraic specification language – Astesiano, Bidoit, et al. - 2002 |
| 13 | Plugging data constructs into paradigm-specific languages: Towards an application to UML – Astesiano, Cerioli, et al. - 2000 |
| 7 | The Concurrency Workbench of the New Century (Version 1.2 – Cleaveland, Li, et al. - 2000 |
| 5 | un langage pour le dveloppement de spcifications algbriques modulaires – Pluss - 1989 |
| 4 | a Tool for Integrated Specifications Animation. Available at http://www.sciences.univ-nantes.fr/info/perso/permanents/salaun /ISA/isa.html – ISA |
| 4 | Construction of Finite Labelled Transition Systems from B Abstract Systems – Bert, Cave - 2001 |
