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]

@article{MatoussiL12,
  title = {Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B},
  author = {Abderrahman Matoussi and Régine Laleau},
  year = {2012},
  doi = {10.3166/isi.17.3.95-118},
  url = {http://dx.doi.org/10.3166/isi.17.3.95-118},
  researchr = {https://researchr.org/publication/MatoussiL12},
  cites = {0},
  citedby = {0},
  journal = {Ingénierie des Systèmes d Information},
  volume = {17},
  number = {3},
  pages = {95-118},
}