Elaborating requirements using model checking and inductive learning

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
IEEE Transactions on Software Engineering, Volume 39, Number 3, page 361-383 - 2013
Download the publication : Elaborating Requirements using Model.pdf [979Ko]  

BibTex references

@Article\{AKRU13,
  author       = "Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastian",
  title        = "Elaborating requirements using model checking and inductive learning",
  journal      = "IEEE Transactions on Software Engineering",
  number       = "3",
  volume       = "39",
  pages        = "361-383",
  year         = "2013",
  note         = "(ISI-WoK Impact Factor: 3.569 (2008), 3.750 (2010), Scopus",
  url          = "http://publicaciones.dc.uba.ar/Publications/2013/AKRU13"
}

Other publications in the database

» Dalal Alrajeh
» Jeff Kramer
» Alessandra Russo
» Sebastian Uchitel