{"id":"W2116606943","doi":"10.1109/cmpass.1995.521905","title":"Applying mathematical software documentation: an experience report","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"McMaster University","keywords":"Documentation; Software documentation; Software engineering; Computer science; Software; Internal documentation; Software development; Process (computing); Technical documentation; Work (physics); Personal software process; Software development process; Engineering management; Software construction; Programming language; Engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000192625,0.00009401439,0.0001123535,0.00003307422,0.0001327725,0.0003451412,0.0004642792,0.00003964411,0.0006598681],"category_scores_gemma":[0.00004201529,0.00007226509,0.00003673174,0.0001803326,0.0000338404,0.0009086131,0.00009721479,0.00005023741,0.0004699298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000194572,"about_ca_system_score_gemma":0.000007623944,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002124456,"about_ca_topic_score_gemma":0.000002552892,"domain_scores_codex":[0.9988619,0.00002884752,0.0002597916,0.0003367361,0.0003030942,0.0002096033],"domain_scores_gemma":[0.9991621,0.00003116171,0.00007706047,0.0005744183,0.00004606368,0.0001092193],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[6.303241e-7,0.000178796,0.003600058,0.00003292305,0.000009825664,0.0004260329,0.008805745,0.000007408571,0.00009228606,0.8012115,0.001144358,0.1844904],"study_design_scores_gemma":[0.001357072,0.0006068106,0.001114105,0.00002576372,0.00002349479,0.008528469,0.004352193,0.1079429,0.005616453,0.6534161,0.2149289,0.002087684],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001331984,0.00004158401,0.9711096,0.00008083497,0.0002274253,0.0002621577,2.864749e-8,0.000448422,0.02649802],"genre_scores_gemma":[0.8335702,0.000001786094,0.1601963,0.0001957102,0.00008127361,0.000240523,0.000001280623,0.000005878005,0.005706992],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8322383,"threshold_uncertainty_score":0.7225093,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04995831486411199,"score_gpt":0.2990204822210791,"score_spread":0.2490621673569671,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}