[IEEE Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005. - Athens, Greece (Dec. 18 - 21, 2005)] Proceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005. - Formalising a derivation strategy for formal specifications from natural language requirements models
Mauco, M.V., Leonardi, M.C., Riesco, D., Montejano, G., Debnath, N.Year:
2005
Language:
english
DOI:
10.1109/isspit.2005.1577173
File:
PDF, 175 KB
english, 2005