Computer Science ›› 2018, Vol. 45 ›› Issue (9): 119-122.doi: 10.11896/j.issn.1002-137X.2018.09.018
• NASAC 2017 • Previous Articles Next Articles
ZHANG Xiao1, LI Zhi1,2, ZHAO Zi-yan1, FU Chang-lan1, LI Wei-dong1, YU Yue-kun1, WANG Chao1
CLC Number:
[1]CLELAND-HUANG J,CHANG C K,CHRISTENSEN M. Event-Based Traceability for Managing Evolutionary Change[J].IEEE Transactions on Software Engineering,2003,29(9):796-810. [2]SEATER R,JACKSON D.Problem frame transformations:deriving specifications from requirements[C]∥International Workshop on Advances and Applications of Problem Frames.ACM,2006:71-80. [3]JACKSON M.软件开发问题框架:现实世界问题的结构化分析:analyzing and structuring software development problems[M].China Machine Press,2005. [4]CHEN X H,YIN B,JIN Z.Ontology-Guided Requirements Modeling Based on Problem Frames Approach[J].Journal of Software,2011,22(2):177-194.(in Chinese) 陈小红,尹斌,金芝.基于问题框架的需求建模:一种本体制导的方法[J].软件学报,2011,22(2):177-194. [5]QUERALT A,TENIENTE E.Verification and Validation of UML Conceptual Schemas with OCL Constraints[J].Acm Transactions on Software Engineering & Methodology,2012,21(2):1-41. [6] RICHTERS M,GOGOLLA M.On formalizing the UML object constraint language OCL[C]∥International Conference on Conceptual Modeling.Springer,Berlin,Heidelberg,1998:449-464. [7]JIANG Z F,WANG L Z,LI X D,et al.An Approach to Genera-te Test Cases Based on UML Sequence Diagrams[J].Computer Science,2004,31(7):131-136.(in Chinese) 江泽凡,王林章,李宣东,等.基于UML顺序图的测试方法[J].计算机科学,2004,31(7):131-136. [8]LI Z,HALL J G,RAPANOTTI L.On the systematic transformation of requirements to specifications[J].Requirements Engineering,2014,19(4):397-419. [9]JACKSON M.Where,Exactly,Is Software Development?[M]∥ Formal Methods at the Crossroads.From Panacea to Foundational Support.Springer Berlin Heidelberg,2003:115-131. [10]CHEN X,LIU J L.Analysis and Comparison between the Structures of Client/Server and Browser/Server[J].Journal of Chongqing Institute of Technology Management,2000,14(2):100-103. [11]JACKSON M.System Behaviours and Problem Frames:Concepts,Concerns and the Role of Formalisms in the Development of Cyber-physical Systems[M].Dependable Software Systems Engineering,2015:79-104. |
|