IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Fitting Schedulability Analysis Theory into Model-Driven Engineering
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
MDE Adoption in Industry: Challenges and Success Criteria
Models in Software Engineering
Development guidelines for dependable real-time embedded systems
AICCSA '08 Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications
Change Management in Multi-Viewpoint System Using ASP
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
An automated round-trip support towards deployment assessment in component-based embedded systems
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
From models to code and back: correct-by-construction code from UML and ALF
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
Modern software systems require advanced design support especially capable of mastering rising complexity, as well as of automating as many development tasks as possible. Model-Driven Engineering (MDE) is earning consideration as a solid response to those challenges on account of its support for abstraction and domain specialisation. However, MDE adoption often shatters industrial practice because its novelty opposes the need to preserve vast legacy and to not disband the skills matured in pre-MDE or alternative development solutions. This work presents the CHESS tool environment, a novel approach for cross-domain modelling of industrial complex systems. It leverages on UML profiling and separation of concerns realised through the specification of well-defined design views, each of which addresses a particular aspect of the problem. In this way, extra-functional, functional, and deployment descriptions of the system can be given in a focused manner, avoiding issues pertaining to distinct concerns to interfere with one another.