A State Machine Analysis Support System Based on the Problem Frames

Osamu Shigo, Kaoru Yokoyama. A State Machine Analysis Support System Based on the Problem Frames. In Tran Dan Thu, Karl R. P. H. Leung, editors, 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. pages 373-380, IEEE, 2011. [doi]

@inproceedings{ShigoY11,
  title = {A State Machine Analysis Support System Based on the Problem Frames},
  author = {Osamu Shigo and Kaoru Yokoyama},
  year = {2011},
  doi = {10.1109/APSEC.2011.46},
  url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2011.46},
  researchr = {https://researchr.org/publication/ShigoY11},
  cites = {0},
  citedby = {0},
  pages = {373-380},
  booktitle = {2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011},
  editor = {Tran Dan Thu and Karl R. P. H. Leung},
  publisher = {IEEE},
  isbn = {978-1-4577-2199-1},
}