Author:
Bagheri Hamid,Sullivan Kevin
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. MetaEdit+, http://www.metacase.com/
2. Monarch tool suite, http://www.cs.virginia.edu/~hb2j/Downloads/Monarch-ToolSuite.zip
3. Ambriola, V., Kmiecik, A.: Architectural transformations. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, pp. 275–278 (2002)
4. Bagheri, H., Song, Y., Sullivan, K.: Architectural style as an independent variable. In: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) (2010)
5. Bagheri, H., Sullivan, K.: Architecture as an independent variable for Aspect-Oriented application descriptions. In: Abstract State Machines, Alloy, B and Z (ABZ 2010) (2010)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. IoTCom: Dissecting Interaction Threats in IoT Systems;IEEE Transactions on Software Engineering;2023-04-01
2. Reducing run-time adaptation space via analysis of possible utility bounds;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
3. Control Software: Research Directions in the Intersection of Control Theory and Software Engineering;AIAA Scitech 2020 Forum;2020-01-05
4. Model-driven synthesis of formally precise, stylized software architectures;Formal Aspects of Computing;2016-05
5. Abstractions for Modeling Complex Systems;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016