Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference46 articles.
1. Altia Design & Altia FacePlate, web page: http://www.altia.com
2. Alur, R., Henzinger, T.: Real-time System = Discrete System + Clock Variables. Software Tools for Technology Transfer 1: 86–109 , 1997
3. Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations for Telecommunication Systems Development. In: Int. Conf. on Telecommunication Systems, 2001
4. Bharadwaj, R., Heitmeyer, C.: Model Checking Complete Requirements Specifications Using Abstraction. Automated Software Engineering, 6(1): 37–68, January 1999
5. Broy, M., Krüger, I.: Interaction Interfaces – Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. In: Staples, J., Hinchey, M.G., Liu, S. (eds.) Formal Engineering Methods, IEEE Computer Society, 1998, pp. 2–15
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Low-Code Programming Models;Communications of the ACM;2023-09-22
2. Triggers for Reactive Synthesis Specifications;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. Modeling the C. elegans germline stem cell genetic network using automated reasoning;Biosystems;2022-07
4. Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10
5. Survey and Consistency Checking of Formal Requirements Animations;2021 IEEE 29th International Requirements Engineering Conference Workshops (REW);2021-09