Author:
Zhao Jinqiang,Duan Zhenhua
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Bastani, B.: A Requirements Analysis Framework for Open Systems Requirements Engineering. ACM SIGSOFT Software Engineering Notes 32, 1–19 (2007)
2. Lee, W.J., Cha, S.D., Kwon, Y.R.: Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. IEEE Transactions on Software Engineering 24(12), 1115–1130 (1998)
3. Lecture Notes in Computer Science;W. Shen,2003
4. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal Approach to Scenario Analysis. IEEE Software, 33–41 (March 1994)
5. Andersson, M., Bergstrand, J.: Formalizing Use Cases with Message Sequence Charts. Master’s thesis. Lund Inst. of Technology (1995)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A SWOT Analysis of Software Requirement Validation Techniques;International Journal of Software Innovation;2022-04-07
2. Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control;Computational Science and Its Applications – ICCSA 2021;2021
3. A Methodological Assistant for UML and SysML Use Case Diagrams;Communications in Computer and Information Science;2021
4. A Methodological Assistant for Use Case Diagrams;Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development;2020
5. Algebra for Enterprise Ontology: towards analysis and synthesis of enterprise models;Enterprise Information Systems;2017-10-24