Author:
Bos Victor,Bruintjes Harold,Tonetta Stefano
Publisher
Springer International Publishing
Reference22 articles.
1. As-2 Embedded Computing Systems Committee SAE: Architecture Analysis & Design Language (AADL). SAE Standards n $$^{o}$$ AS5506B, September 2012
2. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Formal Methods in Software Practice, pp. 7–15. ACM (1998)
3. Bellini, P., Nesi, P., Rogai, D.: Expressing and organizing real-time specification patterns via temporal logics. J. Syst. Softw. 82(2), 183–196 (2009)
4. Konrad, S., Cheng, B.H.: Real-time specification patterns. In: Software Engineering, pp. 372–381. ACM (2005)
5. Grunske, L.: Specification patterns for probabilistic quality properties. In: Software Engineering, pp. 31–40. IEEE (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Requirement specification extraction and analysis based on propositional projection temporal logic;Journal of Software: Evolution and Process;2023-03-20
2. COMPASS 3.0;Tools and Algorithms for the Construction and Analysis of Systems;2019
3. Formal Methods for Aerospace Systems;Cyber-Physical System Design from an Architecture Analysis Viewpoint;2017
4. Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques;Model-Based Safety and Assessment;2017