Learn More
The model-driven approach to software development has not only changed the way software systems are built and maintained but also the way they are tested. For such systems, a model-based testing approach is much recommended since it is aligned with the new model-driven development paradigm that favors models over code with the objective being to reduce time(More)
— The Unified Modeling Language UML 2.0 plays a central role in modern software engineering , and it is considered as the de facto standard for modeling software architectures and designs. Todays systems are becoming more and more complex, and very difficult to deal with. The main difficulty arises from the different ways in modelling each component and the(More)
Modern systems are more and more complex and security has become a key component in the success of software and systems development. The main challenge encountered in industry as well as in academia is to develop secure products, prove their security correctness, measure their resilience to attacks, and check if vulnerabilities exist. In this paper, we(More)