计算机科学 ›› 2014, Vol. 41 ›› Issue (11): 137-140.doi: 10.11896/j.issn.1002-137X.2014.11.027
刘国源,万光海,庞柳,李智
LIU Guo-yuan,WAN Guang-hai,PANG Liu and LI Zhi
摘要： 问题框架(Problem Frames,PF)已经得到需求工程界的广泛重视和研究。目前,问题框架在理论基础和开发方法等方面已经有很多研究成果,但如何把它们应用到实际的软件开发项目中仍是一个有待解决的问题。本工具可帮助系统分析员实现从用户需求到软件规约的平滑和可推理的变换,从而为软件开发项目中需求的沟通、建模及分析等提供技术支持。此外,该工具产生的结果也为下一步的软件设计提供帮助。它对促进问题框架方法的进一步发展和成熟,如从研究走向实用,具有重要的推动作用。
| [1] Jackson M.Software requirements and specifications:a lexicon of principles,practices and prejudices[M].Boston:Addison-Wesley,1995 [2] Jackson M.Problem frames:analyzing and structuring software development problems[M].Boston:Addison-Wesley,2001 [3] Hall G H,Rapanotti L,Jackson M.Problem-oriented software engineering:a design-theoretic framework for software engineering,2007[C]∥Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods.Los Alamitos:IEEE CS Press,2007:15-24 [4] Hall G H,Rapanotti L,Jackson M.Problem-oriented software engineering:solving the package router control problem[J].IEEE Transactions on Software Engineering,2008,4(2):226-241 [5] Strunk E A,Knight J C.The essential synthesis of problemframes and assurance cases[J].Expert Systems,2008,25(1):9-27 [6] Mannering D,Hall J G,Rapanotti L.Towards normal design for safety-critical systems[C]∥Fundamental Approaches to Software Engineering.Springer Berlin Heidelberg,2007:398-411 [7] Yin B,Jin Z,Li Z.Reliability concerns in the Problem Frames Approach and system reliability enhancement patterns[J].Jisuanji Xuebao(Chinese Journal of Computers),2013,36(1):74-87 [8] Li Z,Hall J G,Rapanotti L.On the systematic transformation of requirements to specifications[J].Requirements Engineering,2013,(doi:10.1007/s00766-013-0173-8),online first article [9] Berry M D.Software requirements and design:the work of Michael Jackson[J].ACM SIGSOFT Software Engineering Notes,2011,6(2):39-40 [10] 李智,金芝.从用户需求到软件规约:一种问题变换的方法[J].软件学报,2013,24(5):961-976 [11] Sommerville I.Software Engineering 9th Edition[M].Boston:Addison-Wesley,2011 [12] Rapanotti L,Hall G J,Li Z.Deriving specifications from requirements through problem reduction[J].Journal of IEE Procee-dings-Software,2006,3(5):183-198 [13] Li Z,Hall G J,Rapanotti L.On the construction of specifications from requirements[C]∥Procs of the 14th Workshop on Requirements Engineering.Rio de Janeiro,Brazil:BDBComp,2011:431-442 [14] 李智,庞柳,刘国源,等.一种模型驱动的软件需求分析方法及技术支持[J].广西师范大学学报:自然科学版,2013,31(2):19-26 |
| No related articles found! |
|
||
首页