鄭 永斌

研究成果

每年研究成果 2002 2003 2006 2008 2010 2016 2020

• 17 會議論文篇章
• 6 期刊論文
• 2 會議論文

每年研究成果

每年研究成果

搜尋結果

• 2008

  xDIVA: A debugging visualization system with composable visualization metaphors

  Cheng, Y. P., Chen, J. F., Chiu, M. C., Lai, N. W. & Tseng, C. C., 2008, p. 811-814. 4 p.

  研究成果: 會議貢獻類型 › 會議論文 › 同行評審

  • Visualization 100%
  • Animation 16%
  • Computer program listings 14%
  • Display devices 12%
  • Color 11%
  7 引文 斯高帕斯（Scopus）
• 2005

  Grafting a Promela front-end with abstract data types to mitigate the sensitivity of (compositional) analysis to implementation choices

  Cheng, Y. P., 2005, 於: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3639, p. 139-153 15 p.

  研究成果: 雜誌貢獻 › 會議論文 › 同行評審

  • Abstract data types 100%
  • Abstract Data Types 99%
  • Software Verification 19%
  • Data structures 19%
  • Automation 17%
  1 引文 斯高帕斯（Scopus）