Journal of Guangxi Normal University(Natural Science Edition) ›› 2013, Vol. 31 ›› Issue (2): 19-26.
Previous Articles Next Articles
LI Zhi, PANG Liu, LIU Guo-yuan, YANG Zhi-shang
CLC Number:
[1] SCHMIDT C D.Guest editor's introduction:model-driven engineering[J].IEEE Computer,2006,39(2):25-31. [2] SOMMERVILLE I.Software engineering[M].9th ed.Boston,MA:Addison-Wesley,2011. [3] ALEXANDER I F,MAIDEN N.Scenarios,stories,use cases through the systems development life-cycle[M].Hoboken,NJ:John Wiley and Sons,Ltd.,2004. [4] VAN LAMSWEERDE A.Goal-oriented requirements engineering:a guidedtour[C]//Proceedings of the 5th IEEE International Symposium on Requirements Engineering.Los Alamitos,CA:IEEE CS Press,2001:249-262. [5] YU E.Towards modeling and reasoning support for early-phase requirements engineering[C]//Proceedings of the 3rd IEEE International Symposium on Requirements Engineering.Los Alamitos,CA:IEEE CS Press,1997:226-235. [6] JACKSON A M.Problem frames:analyzing and structuring software development problems[M].Boston,MA:Addison-Wesley,2001. [7] BERRY M D.Software requirements and design:the work of Michael Jackson by BasharNuseibeh and Pamela Zave[J].ACM SIGSOFT Software Engineering Notes,2011,36(2):39-40. [8] LI Zhi,HALL G J,RAPANOTTI L.Reasoning about decomposing and recomposing problem frames developments:a case study[C]//Proceedings of the 26th International Conferrence on Software Engineering.Los Alamitos,CA:IEEE CS Press,2004:49-53. [9] RAPANOTTI L,HALL GJ,LI Zhi.Deriving specifications from requirements through problem reduction[J].Journal of IEE Proceedings-Software,2006,153(5):183-198. [10] LI Zhi,HALL G J,RAPANOTTI L.From requirements to secifications:aformal approach[C]//Proceedings of the IWAAPF'06,the 28th International Conferrence on Software Engineering.New York:ACM Press,2006:65-70. [11] LI Zhi,HALL G J,RAPANOTTI L.Modeling domain knowledge in supportof requirements analysis in software engineering[C]//Proceedings of the International Conference on Power and Energy Systems.Los Alamitos,CA:IEEE CS Press,2010:270-273. [12] LI Zhi,HALL G J,RAPANOTTI L.On the construction of specifications from requirements[C]//Proceedings of the 14th Workshop onRequirements Engineering.Rio de Janeiro,Brazil:BDBComp,2011:431-442. [13] LI Zhi.Progressing problems from requirements to specificationsin problem frames[C]//Proceedings of the 30th International Conference on Software Engineering.New York:ACM Press,2008:53-59. [14] HALL G H,RAPANOTTI L,JACKSON A M.Problem-oriented software engineering:solving the package router control problem[J].IEEE Transactions on Software Engineering,2008,34(2):226-241. [15] HALL G H,RAPANOTTI L,JACKSON A M.Problem-oriented software engineering:a design-theoretic framework for software engineering[C]//Proceedingsof the 5th IEEE International Conference on Software Engineering and Formal Methods.Los Alamitos,CA:IEEE CS Press,2007:15-24. [16] KLEENE C S.Introduction to meta-mathematics[M].New York:D Van Nostrand,1952. [17] SEATER R,JACKSON D,GHEYI R.Requirements progression in problem frames:deriving specifications from requirements[J].Requirements Engineering,2007,12(2):77-102. [18] 金芝,陆汝钤,BELL A D.多范例自动需求建模和分析:一种基于本体的方法[J].中国科学:E辑,2003,33(4):297-312. [19] 侯丽珊,金芝,吴步丹.需求驱动的Web服务建模及验证:一个基于本体的方法[J].中国科学:E辑,2006,36(10):1189-1219. [20] WANG Pu-wei,JIN Zhi,LIU Lin,et al.Building toward capability specifications of web services based on an environment ontology[J].IEEE Transactions on Knowledge and Data Engineering,2008,20(4):547-561. [21] 宋春晖,雷景生,赵思轩.基于本体的信息过滤需求模型构造[J].广西师范大学学报:自然科学版,2008,26(4):71-74. [22] CHEN Xiao-hong,LIU Jing,MALLET F,et al.Modeling timing requirements in problem frames using CCSL[C]//Proceedings of the 18th Asia-Pacific Software Engineering Conference.Ho Chi Minh,Vietnam:CPS (Conference Publishing Services),2008:53-59. [23] LIU Lin,JIN Zhi.Requirements analysesintegrating goals and problem analysis techniques[J].Tsinghua Sciences and Technology,2007,12(6):103-114. [24] CHEN Bi-huan,PENG Xin,YU Yi-jun,et al.Are your sites down?Requirements-driven self-tuning for the survivability of web systems[C]//Proceedings of the 19th International Requirements Engineering Conference.Los Alamitos,CA:IEEE CS Press,2011:219-228. [25] SUN Jie,WANG Ye,WANG Xin-yu,et al.Using problem frames to drive layered requirements analysis[C]//Proceedings of the 32th ACM/IEEE International Conference on Software Engineering.New York:ACM Press,2010:24-29. |
[1] | YU Chunqiang, DENG Fangzhou, ZHANG Xianquan, TANG Zhenjun, CHEN Yan, HE Nan. A Reversible Information Hiding Method Based on Multiple Prediction Values [J]. Journal of Guangxi Normal University(Natural Science Edition), 2018, 36(2): 24-32. |
[2] | ZHOU Jun-lin, FU Yan, KONG Xiang-ying, DING Jian-yong. Recommendation Based on Bipartite Graph with Time Property [J]. Journal of Guangxi Normal University(Natural Science Edition), 2013, 31(3): 81-86. |
[3] | XU Zhang-yan, ZENG Yan-yan. Algorithm for Computing Core Based on Knowledge Granulation in Incomplete Decision Table [J]. Journal of Guangxi Normal University(Natural Science Edition), 2012, 30(3): 154-158. |
[4] | CHEN Jian-hui, ZHONG Ning. A Data-Brain Based Approach for Constructing the MetadataCube of Neuroimaging Data [J]. Journal of Guangxi Normal University(Natural Science Edition), 2011, 29(1): 102-108. |
[5] | HUANG Jing, LUO Xiao-shu. Application of BP Neural Network in Ice Accretion over Transmission Line [J]. Journal of Guangxi Normal University(Natural Science Edition), 2011, 29(4): 25-27. |
|