Formalization of Initial Requirements for the Design of Wireless Sensor Networks
Maxim Kislyakov, Sergey G. Mosin · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2012
The paper discusses methods for the formal representation of the initial requirements for wireless sensor networks at the design stage.The main objective of the formalization is generating the basic mathematical tool and optimization criteria for individual stages of the design process.The automation of the design procedures with the use of computer technology is planned in terms of the proposed basis.