Travelled to:2 × USA
Collaborated with:D.Leitao F.d.A.Barros F.A.Barros L.Neves E.Hori
Talks about:languag (2) specif (2) natur (2) case (2) translat (1) descript (1) control (1) ucscnl (1) formal (1) test (1)
Person: Dante Torres
DBLP: Torres:Dante
Contributed to:
20112007Wrote 2 papers:
- SEKE-2011-BarrosNHT #case study #natural language #specification
- The ucsCNL: A Controlled Natural Language for Use Case Specifications (FAB, LN, EH, DT), pp. 250–253.
- SEKE-2007-LeitaoTB #named #natural language #specification #testing
- NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications (DL, DT, FdAB), pp. 129–134.