Publications de
Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette
Vers une vérification d’un procédé de développement modélisé en SPEM
Dans : Formalisation des Activités Concurrentes, Toulouse, France, 23/03/06-24/03/06.
Accès : http://www.cert.fr/feria/svf/FAC/2006/Papiers/24.pdf
BibTeXBenoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Modélisation rigoureuse en SPEM de procédé de développement
Dans : Conférence sur les Langages et Modèles à Objets (LMO 2006), Nîmes, France, 22/03/06-24/03/06, Hermès Science, p. 135-150, mars 2006.
Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Towards a rigorous use of SPEM
Dans : International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, 23/05/06-27/05/06, INSTICC Press, p. 530-533, mai 2006.