Stem factual$ (all stems)

6 papers:

POPL-2014-ChenE #debugging #fault #type system

Counter-factual typing for debugging type errors (SC, ME), pp. 583–594.

CSEET-2012-LiuML #education #re-engineering

The Exploration and Practice of Gradually Industrialization Model in Software Engineering Education — A Factual Instance of the Excellent Engineer Plan of China (SL, PM, DL), pp. 23–31.

CIKM-2012-LeongC #web

Supporting factual statements with evidence from the web (CWL, SC), pp. 1153–1162.

CSMR-2011-BacchelliLH #comprehension

RTFM (Read the Factual Mails) — Augmenting Program Comprehension with Remail (AB, ML, VH), pp. 15–24.

SIGIR-1990-HoppeALZ #information retrieval #interface #named

EXPRESS: An Experimental Interface for Factual Information Retrieval (HUH, KA, BLS, GZ), pp. 63–81.

ICSE-1982-LucasR #equation #evaluation #representation

Representation of Factual Information by Equations and Their Evaluation (PL, TR), pp. 367–376.