Methods for using natural language specifications in software components development
Název práce v češtině: | |
---|---|
Název v anglickém jazyce: | Methods for using natural language specifications in software components development |
Akademický rok vypsání: | 2013/2014 |
Typ práce: | disertační práce |
Jazyk práce: | angličtina |
Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
Vedoucí / školitel: | doc. RNDr. Petr Hnětynka, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 27.09.2013 |
Datum zadání: | 27.09.2013 |
Datum potvrzení stud. oddělením: | 22.01.2014 |
Zásady pro vypracování |
The goal of is to create methods for using natural language specifications in software components development. |
Seznam odborné literatury |
Š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 |