Author:
Zweihoff Philip,Tegeler Tim,Schürmann Jonas,Bainczyk Alexander,Steffen Bernhard
Publisher
Springer International Publishing
Reference71 articles.
1. Aceto, G., Botta, A., De Donato, W., Pescapè, A.: Cloud monitoring: a survey. Comput. Netw. 57(9), 2093–2115 (2013)
2. Aho, T., et al.: Designing IDE as a service. Commun. Cloud Softw. 1(1), 1–10 (2011)
3. Allspaw, J., Hammond, P.: 10+ deploys per day: dev and ops cooperation at Flickr. In: Velocity: Web Performance and Operations Conference, June 2009. https://www.youtube.com/watch?v=LdOe18KhtT4
4. Balasubramanian, D., Coglio, A., Dubey, A., Karsai, G.: Towards model-based intent-driven adaptive software. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 10th International Symposium on Leveraging Applications of Formal Method, Verification and Validation, ISoLA 2021. LNCS, vol. 13036, pp. 378–392. Springer, Cham (2021)
5. Lecture Notes in Computer Science;S Boßelmann,2016
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Domain-Specificity as Enabler for Global Organization aLignment and Decision;Lecture Notes in Computer Science;2022
2. Executable Documentation: From Documentation Languages to Purpose-Specific Languages;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
3. Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
4. Towards Continuous Quality Control in the Context of Language-Driven Engineering;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
5. Evaluation of Graphical Modeling of CI/CD Workflows with Rig;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022