Technologies du logiciel
From Eric
(Difference between revisions)
m |
m (Quelques infos sur les technologies du logiciel) |
||
| Line 3: | Line 3: | ||
=== Ocaml === | === Ocaml === | ||
| - | * Un parseur XML simple et efficace en ocaml :[http://tech.motion-twin.com/xmllight.html | + | * Un parseur XML simple et efficace en ocaml :[http://tech.motion-twin.com/xmllight.html xml-light]. |
=== UML et les langages d'action === | === UML et les langages d'action === | ||
* Concernant une définition de la sémantique d'exécution d'UML, voir fUML. Le langage d'action correspondant (c'est-à-dire s'appuyant sur fUml) s'appelle Alf, il est en cours de standardisation par l'OMG (voir le [http://www.omg.org/spec/ALF/1.0/Beta1 draft]). Plusieurs [http://www.slideshare.net/seidewitz présentations d'Ed Seidewitz] décrivent l'objectif d'Alf et ses relations avec fUMl. | * Concernant une définition de la sémantique d'exécution d'UML, voir fUML. Le langage d'action correspondant (c'est-à-dire s'appuyant sur fUml) s'appelle Alf, il est en cours de standardisation par l'OMG (voir le [http://www.omg.org/spec/ALF/1.0/Beta1 draft]). Plusieurs [http://www.slideshare.net/seidewitz présentations d'Ed Seidewitz] décrivent l'objectif d'Alf et ses relations avec fUMl. | ||
Revision as of 10:52, 10 May 2011
UML et ses déclinaisons, dialectes, utilisations
Ocaml
- Un parseur XML simple et efficace en ocaml :xml-light.
UML et les langages d'action
- Concernant une définition de la sémantique d'exécution d'UML, voir fUML. Le langage d'action correspondant (c'est-à-dire s'appuyant sur fUml) s'appelle Alf, il est en cours de standardisation par l'OMG (voir le draft). Plusieurs présentations d'Ed Seidewitz décrivent l'objectif d'Alf et ses relations avec fUMl.
