Methods for using natural language specifications in software components development
Thesis title in Czech: | |
---|---|
Thesis title in English: | Methods for using natural language specifications in software components development |
Academic year of topic announcement: | 2013/2014 |
Thesis type: | dissertation |
Thesis language: | angličtina |
Department: | Department of Distributed and Dependable Systems (32-KDSS) |
Supervisor: | doc. RNDr. Petr Hnětynka, Ph.D. |
Author: | hidden - assigned and confirmed by the Study Dept. |
Date of registration: | 27.09.2013 |
Date of assignment: | 27.09.2013 |
Confirmed by Study dept. on: | 22.01.2014 |
Guidelines |
The goal of is to create methods for using natural language specifications in software components development. |
References |
Šimko V., Hauzar D., Bureš T., Hnětynka P., Plášil F.: Verifying Temporal Properties of Use-Cases in Natural Language,
Postproceedings of 8th International Symposium on Formal Aspects of Component Software (FACS 2011) conference, Oslo, Norway, LNCS, Springer, September 2011 Šimko V., Hnětynka P., Bureš T., Plášil F.: FOAM : A Lightweight Method for Verification of Use-Cases, Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Izmir, Turkey, IEEE CS, pp. 228-232, ISBN 978-0-7695-4790-9, DOI 10.1109/SEAA.2012.15, September 2012 |