Operational versus definitional: a perspective on programming paradigms, Computer, vol.25, issue.9, pp.28-43, 1992. ,
DOI : 10.1109/2.156380
That internet of things thing, RFiD Journal, vol.22, pp.97-114, 2009. ,
A brief history of just-in-time, ACM Computing Surveys, vol.35, issue.2, pp.97-113, 2003. ,
DOI : 10.1145/857076.857077
Cooperative computing for distributed embedded systems, Proceedings 22nd International Conference on Distributed Computing Systems, pp.227-236, 2002. ,
DOI : 10.1109/ICDCS.2002.1022260
Starfish, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, pp.75-83, 2010. ,
DOI : 10.1145/1808984.1808993
Quality of service for workflows and web service processes, Web Semantics: Science, Services and Agents on the World Wide Web, pp.281-308, 2004. ,
DOI : 10.1016/j.websem.2004.03.001
Formal methods: State of the art and future directions, ACM Computing Surveys (CSUR), vol.28, issue.4, pp.626-643, 1996. ,
A model-driven approach to develop adaptive firmwares, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.168-177, 2011. ,
DOI : 10.1145/1988008.1988031
MDE to Manage Communications with and between Resource-Constrained Systems, Model Driven Engineering Languages and Systems, pp.349-363, 2011. ,
DOI : 10.1007/978-3-540-79996-2_10
URL : https://hal.archives-ouvertes.fr/hal-00647141
A Dynamic Component Model for Cyber Physical Systems Categories and Subject Descriptors, 15th International ACM SIGSOFT Symposium on Component Based Software Engineering, pp.135-144, 2012. ,
Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.276-277, 2004. ,
DOI : 10.1109/MC.2004.175
Hierarchical finite state machines with multiple concurrency models. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.18, issue.6, pp.742-760, 1999. ,
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems, Science of Computer Programming, vol.73, issue.1, pp.39-58, 2008. ,
Customer, consumer and user involvement in product development: A framework and a review of selected methods, Total Quality Management, vol.9, issue.1, pp.141-149, 1998. ,
Domain-specific modeling: enabling full code generation, 2008. ,
DOI : 10.1002/9780470249260
Machine-to-machine technology gears up for growth, Computer, vol.37, issue.9, pp.12-15, 2004. ,
DOI : 10.1109/MC.2004.137
Constructing distributed systems in conic. Software Engineering, IEEE Transactions on, vol.15, issue.6, pp.663-675, 1989. ,
Massively distributed systems: Design issues and challenges, USENIX Workshop on Embedded System, 1999. ,
The nature of modeling, 1989. ,
A survey of unit testing practices. Software, IEEE, vol.23, issue.4, pp.22-29, 2006. ,
Guest editor's introduction: Model-driven engineering, Computer, vol.39, issue.2, pp.25-31, 2006. ,
Using benchmarking to advance research: a challenge to software engineering, 25th International Conference on Software Engineering, 2003. Proceedings., pp.74-83, 2003. ,
DOI : 10.1109/ICSE.2003.1201189
Domain-specific languages, Centrum voor Wiskunde en Informatika, 2000. ,
DOI : 10.1145/352029.352035
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++, FM, 2006. ,
DOI : 10.1007/11813040_11
Experience with performance testing of software systems: issues, an approach, and case study, IEEE transactions on software engineering, vol.26, issue.12, pp.1147-1156, 2000. ,
Communication synthesis for distributed embedded systems ICCAD-95, IEEE/ACM International Conference on, pp.288-294, 1995. ,
Internet quality of service: An overview, 2000. ,