{"id":"W4247334800","doi":"10.1109/icse.1988.93690","title":"Rigi: a system for programming-in-the-large","year":2003,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":92,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"University of Victoria; Rice University","keywords":"Computer science; Consistency (knowledge bases); Traceability; Abstraction; Theoretical computer science; Graph; Programming language; Software; Generalization; Software system; Software development; Software engineering; Artificial intelligence; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007644912,0.00362178,0.002500828,0.003587567,0.001229059,0.006959714,0.009214223,0.003903926,0.06887648],"category_scores_gemma":[0.02262256,0.003607996,0.003339231,0.003339401,0.002392023,0.01045318,0.01074908,0.008059727,0.05253722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001882349,"about_ca_system_score_gemma":0.003094759,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004068255,"about_ca_topic_score_gemma":0.004574787,"domain_scores_codex":[0.9942778,0.001872332,0.0007258017,0.001050896,0.001598456,0.0004745458],"domain_scores_gemma":[0.9914514,0.00410683,0.0005119484,0.002795578,0.0006602383,0.0004739954],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001239203,0.0003327871,0.001355008,0.002417841,0.0002656132,0.0009294851,0.001567584,0.01453718,0.008523499,0.1748036,0.5128914,0.2811368],"study_design_scores_gemma":[0.0005422635,0.0001230047,0.0005141625,0.0003994791,0.00009169583,0.0005593893,0.0001083506,0.06829278,0.007624483,0.1003649,0.8211195,0.0002598996],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004998647,0.0002986171,0.4930972,0.0003670663,0.0001743487,0.0005318731,0.003121413,0.4902435,0.01166604],"genre_scores_gemma":[0.01848642,0.001533872,0.8092239,0.00137654,0.0002427592,0.003839083,0.02779173,0.1183961,0.0191096],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06887648,"threshold_uncertainty_score":0.2304147,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04120929702016789,"score_gpt":0.303530590511966,"score_spread":0.2623212934917981,"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."}}