[PDF][PDF] Generating text with a theorem prover
II Garibay - Proceedings of the ANLP-NAACL 2000 Student …, 2000 - aclanthology.org
The process of documenting designs is tedious and often error-prone. We discuss a system
that automatically generates documentation for the single step transition behavior of …
that automatically generates documentation for the single step transition behavior of …
[PDF][PDF] Automatic Generation of Natural Language Documentation from Statecharts
II uen Garibay - 2000 - academia.edu
The process of documenting designs is tedious and often error-prone. We discuss a system
that automatically generates documentation for the single step transition behavior of …
that automatically generates documentation for the single step transition behavior of …