Introduction to special issue : papers from UML&FM'2011

Isabelle Perseil (1) , John Paul Gibson (2, 3, 4)

1 INSERM - Institut National de la Santé et de la Recherche Médicale
2 LOR - Département Logiciels et Réseaux
3 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
4 CNRS - Centre National de la Recherche Scientifique

The workshop Unified Modeling Language and Formal Methods (UML&FM’2011) aims at encouraging new initiatives of building bridges between informal, semi-formal and formal notations.

Domaines: Informatique [cs]

Isabelle Perseil, John Paul Gibson. Introduction to special issue : papers from UML&FM'2011. Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.225-226. ⟨10.1007/s11334-011-0173-0⟩. ⟨hal-00677755⟩