Poppleton, Michael R. and Merrett, Geoff V.
Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks
At Third International Workshop on Software Engineering for Sensor Network Applications, Switzerland.
Due to the operational demands and requirements diversity in wireless sensor networks (WSNs), great improvements in the software engineering process are required. As WSNs increasingly become essential, even critical, components in systems-of-systems (SoSs), the case for verification in the development process is strong. In this position paper we present our vision for a principled formal software development and verification process for WSNs within SoSs.
Conference or Workshop Item
|Venue - Dates:
||Third International Workshop on Software Engineering for Sensor Network Applications, Switzerland, 2012-06-02
||Electronic & Software Systems
|2 June 2012||Published|
||30 Mar 2012 14:33
||23 Feb 2017 07:55
|Further Information:||Google Scholar|
Actions (login required)