Computer Science ›› 2014, Vol. 41 ›› Issue (11): 137-140.doi: 10.11896/j.issn.1002-137X.2014.11.027
Previous Articles Next Articles
LIU Guo-yuan,WAN Guang-hai,PANG Liu and LI Zhi
| [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! |
|
||
Home