Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B

Abderrahman Matoussi, Régine Laleau. Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B. Ingénierie des Systèmes d Information, 17(3):95-118, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.