Deriving Non-Zeno Behavior Models from Goal Models using ILP

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
Formal Aspects of Computing, Volume 22, Number 3, page 217-241 - 2010
Download the publication : deriving_non_zeno.pdf [448Ko]  

BibTex references

@Article\{AKRU10,
  author       = "Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastian",
  title        = "Deriving Non-Zeno Behavior Models from Goal Models using ILP",
  journal      = "Formal Aspects of Computing",
  number       = "3",
  volume       = "22",
  pages        = "217-241",
  year         = "2010",
  url          = "http://publicaciones.dc.uba.ar/Publications/2010/AKRU10"
}

Other publications in the database

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