Methodology and tools to improve software development productivity in IoT, Cloud Computing, and Operating Systems applications of medium-criticality.