Towards a principled and evolvable approach to software development for future wireless sensor networks

2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings

Volumn , Issue , 2012, Pages 56-57

  Poppleton, Michael R ^a   Merrett, Geoff V ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

complexity; formal; refinement; simulation; software engineering; wireless sensor network

Indexed keywords

COMPLEXITY; DEVELOPMENT PROCESS; EVOLVABLE; FORMAL; FORMAL SOFTWARE DEVELOPMENT; OPERATIONAL DEMANDS; POSITION PAPERS; REFINEMENT; SIMULATION; SOFTWARE ENGINEERING PROCESS; SYSTEMS-OF-SYSTEMS; VERIFICATION PROCESS; WIRELESS SENSOR NETWORK (WSNS);

SOFTWARE DESIGN; SOFTWARE ENGINEERING;

WIRELESS SENSOR NETWORKS;

EID: 84864353629     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SESENA.2012.6225760     Document Type: Conference Paper

References (5)

1. G. Picco, "Software engineering and wireless sensor networks: Happy marriage or consensual divorce," in FoSER 2010, 2010.
2. L. Mottola and G. Picco, "Programming wireless sensor networks: Fundamental concepts and state of the art," ACM Computing Surveys, vol. 43, no. 3, April 2011.
3. J. A. Stankovic, "Wireless sensor networks," IEEE Computer, vol. 41, no. 10, pp. 92-95, 2008.
4. J.-R. Abrial, Modeling in Event-B - System and Software Engineering. Cambridge University Press, 2010.
5. J. R. Abrial, M. Butler, S. Hallerstede, and L. Voisin, "An open extensible tool environment for Event-B," in ICFEM 2006, ser. LNCS, Z. Liu and J. He, Eds., vol. 4260, Macau, 2006.