Modeling and analysing ubiquitous systems using mde approach, The Fourth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies. UBICOMM 2010, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00662503
The computer for the 21st century, Scientific American Special Issue on Communications, Computers, and Networks, 1991. ,
Online Energy Intelligence ,
A model-driven approach for building ubiquitous applications, The Third International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies -UBICOMM 2009, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00496857
Model driven engineering Lecture notes in computer science, pp.286-298, 2002. ,
Validation in model-driven engineering: testing model transformations, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004., 2004. ,
DOI : 10.1109/MODEVA.2004.1425846
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML, Lecture notes in computer science, vol.2426, pp.260-269, 2002. ,
DOI : 10.1007/3-540-46105-1_30
Graphical Entity Relationship models: Towards a more user understandable representation of data, Lecture Notes in Computer Science, vol.1157, pp.227-244, 1996. ,
DOI : 10.1007/BFb0019926
UML as an ontology modelling language, Proceedings of the Workshop on Intelligent Information Integration, 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1999. ,
SysML Open Source Specification Project ,
Towards a uml-based modelling standard for scheduability analysis of realtime systems, proceedings of MARTES workshop at MODELS conference, 2006. ,
Wireless Sensor Network Application Development: An Architecture-Centric MDE Approach, Lecture Notes in Computer Science, vol.4758, p.179, 2007. ,
DOI : 10.1007/978-3-540-75132-8_15
Domain-specific languages, SIGPLAN Notices, pp.26-36, 2000. ,
DOI : 10.1145/352029.352035
Classification of model transformation approaches, Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, 2003. ,
Formal verification of PLC controlled systems using Sensor Graphs, 2009 IEEE International Conference on Automation Science and Engineering, pp.164-170, 2009. ,
DOI : 10.1109/COASE.2009.5234187
Verification of process operations using model checking, 2009 IEEE International Conference on Automation Science and Engineering, pp.415-420, 2009. ,
DOI : 10.1109/COASE.2009.5234103
Sensor network design for smart highways, CASE'09: Proceedings of the fifth annual IEEE international conference on Automation science and engineering, pp.353-360, 2009. ,
Introducing Simulation and Model Animation in the MDE Topcased Toolkit, 4th European Congress EMBEDDED REAL TIME SOFT- WARE (ERTS), 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00371596
Simulink -imulation and Model-Based Design, 2012. ,
Scicos Homepage [Online ; accessed 09-jan-2012]. [23] SGS-THOMSON Microelectronics ltd Occam 2.1 reference Manual, 2012. ,
Visualsense: Visual modeling for wireless and sensor network systems, pp.9-2012, 2005. ,
Acm computing surveys When and how to develop Domain Specific Languages, pp.316-344, 2005. ,
DOI : 10.1145/1118890.1118892
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.735
Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit, 2009. ,
A consensus of the incose fellows http://www.incose.org/practice/fellowsconsensus.aspx, International Council On Systems Engineering, Tech. Rep, pp.9-2012, 2012. ,
Wireless sensor networks: A survey on the state of the art and the 802.15.4 and ZigBee standards, Computer Communications, vol.30, issue.7, pp.1655-1695, 2007. ,
DOI : 10.1016/j.comcom.2006.12.020
Relay sensor placement in wireless sensor networks, Wireless Networks, vol.3, issue.8, pp.347-355, 2008. ,
DOI : 10.1007/s11276-006-0724-8