Travelled to:1 × USA
Collaborated with:J.P.Tremblay P.G.Sorenson P.S.Findeisen A.Salek
Talks about:languag (2) specif (2) formal (2) natur (2) system (1) review (1) studi (1) case (1)
Person: John M. Punshon
DBLP: Punshon:John_M=
Contributed to:
1997
1994Wrote 2 papers:
- ASE-1997-PunshonTSF #case study #natural language #specification
- From Formal Specifications to Natural Language: A Case Study (JMP, JPT, PGS, PSF), pp. 309–310.
- ICRE-1994-SalekSTP #natural language #overview #specification
- The REVIEW system: from formal specifications to natural language (AS, PGS, JPT, JMP), pp. 220–229.