%0 Conference Paper %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %D 2013 %T Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring %A Kun Zhang %A Jonathan Sprinkle %K accelerometers %K Code Generation %K communication task %K computation task %K Computational modeling %K concurrent engineering %K concurrent tasks specification %K control tasks %K cyber-physical systems %K domain-specific modeling language %K drifters %K embedded programming %K environmental monitoring (geophysics) %K environmental science computing %K floating sensor testbed %K formal specification %K Global Positioning System %K GPS sensors %K hand-written code %K Instruction sets %K mobile computing %K mobile phone %K mobile radio %K mobile sensing platforms %K model-based software synthesis %K model-integrated computing %K program compilers %K Programming %K self-reconfigurable sensor network %K Smart phones %K software synthesis %K ubiquitous mobile device %K Unified modeling language %K water flow monitoring %K wireless sensor networks %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %P 40-48 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2013.34 %R 10.1109/ECBS.2013.34