Author:
Wason Ritika,Soni A. K.,Qasim Rafiq M.
Reference27 articles.
1. Vyatkin, V., Hanisch, H.M., Pang, C., Yang, C.H.: Closed-loop modeling in future automation system engineering and validation. IEEE Trans. Syst. Man Cybern. Part C: Appl. Rev. 39(1), 17–28 (2009)
2. Yindun, S., Shiyi, Xu: A new method for measurement and reduction of software complexity. Tsinghua Sci. Technol. 12(S1), 212–216 (2007)
3. Hecht H.: Measurement, estimation and prediction of software reliability, in software engineering technology, vol. 2, pp. 209–224. Maidenhead, Berkshire, England, Infotech International (1977)
4. Samimi, H., Darli, A.E., Millstein, T.: Falling back on executable specifications. In: Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP’10), pp. 552–576 (2010)
5. Wahls, T., Leavens, G.T., Baker, A.L.: Executing formal specifications with concurrent constraint programming. Autom. Softw. Eng. 7(4), 315–343 (2000)