News from the MegaM@Rt2 Project
We need proper tools to create and maintain API documentation. With such tools, the expectation is that creating accurate API documentation will be notably easier and faster, and this will help API users produce better software more quickly.
We present a model-based mutation testing (MBMT) approach for evaluating the authentication and authorization of web services in a multi-user context
We present our work is the translation of a UML model into a Constraint Satisfaction Problem. Then, model reasoning can be automated using the model–finding tool Formula to find a number of correctness problems.
Model views are fundamental when (many) different kinds of models are used for engineering complex (cyber-physical) systems. We tackle the challenge of creating a scalable view mechanism able to work with heterogeneous models
Changes applied to non-functional models for sake of requirement satisfaction have to be propagated back to the software architecture. We propose to use bidirectional transformation to keep both kinds of models aligned automatically.
MegaM@rt2 has now a youtube video channel. And to start off, we have just released a new video presenting an overview of the project and its applications!