A formal specification language iFL based on i* framework is presented in this paper to formally specify and analyze the......

平衡计分卡自1992年提出至今的20多年时间里,在世界范围内,无论是学术界还是实务领域都得到了极大的丰富和发展。但是平衡计分卡的......