Model-based analysis and testing of software systems and devices Atenea The intrinsic complexity of software or physical systems presents important challenges for companies...
Modeling languages for system specification Atenea One of the main objectives of model-driven software development is to enable specification, design, implementation...