Software product integration: A case study-based synthesis of reference models
Information and Software Technology
Model-based component framework for developing domain applications
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A component model for hard real-time systems: CCM with ARINC-653
Software—Practice & Experience
Hi-index | 0.00 |
This paper defines a precise conceptual model of a software platform and the relationship that exists between platforms and software applications that use them. One of the key features of this model is that it allows formal verification of deployment ...