News from the MegaM@Rt2 Project

Tool-supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 project

Tool-supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 project

Specifying the architecture of such a large project as MegaM@Rt2 is a challenge in itself. We opted for a pragmatic model-driven approach in order to specify the high-level architecture of the MegaM@Rt2 framework, perform the gap analysis and plan a first framework development roadmap accordingly. We believe that our experience and lessons learnt in the process could be useful in other similar contexts.

Reconstructing Timed Symbolic Traces

Reconstructing Timed Symbolic Traces

Online model-based testing is an important method for validation of software systems, which checks on the fly the conformance between the behavioral specification of a system and its implementation. In contrast to generating and running offline tests,  online testing...

Share This