Now showing items 1-2 of 2
Component and Connector Views in Practice
Software Engineering und Software Management 2018
We have presented an experience report of applying Component and Connector (C&C) view verification with an industrial partner, at the MoDELS 2017 conference. C&C views are a means for formal yet intuitive structural specification of C&C models. We report on our experience how C&C views and their verification help to ...
Architecture and Quality of Cloud Simulators
Software Engineering and Software Management 2019
Cloud simulators are complex programs that can simulate a cloud infrastructure and applications running on that infrastructure. Such simulators are often used to evaluate new algorithms for cloud resource management and software deployment optimization. However, the implementation of such algorithms in a cloud simulator ...