{"id":"W150920210","doi":"","title":"Use case and task models : formal unification and integrated development methodology","year":2008,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Task (project management); Software engineering; Nondeterministic algorithm; Programming language; Process (computing); Iterative and incremental development; Unification; Theoretical computer science; Systems engineering","routes":{"ca_aff":true,"ca_fund":false,"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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001087854,0.0003264168,0.0004251592,0.001381004,0.0008370514,0.0001929158,0.0006570404,0.0003926283,8.391955e-7],"category_scores_gemma":[0.0004491932,0.000358344,0.00005379043,0.0009565233,0.0002647696,0.001757285,0.0004578459,0.001075234,0.000001915465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004874093,"about_ca_system_score_gemma":0.0008441057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003000982,"about_ca_topic_score_gemma":0.002551316,"domain_scores_codex":[0.9966763,0.001083604,0.0002884739,0.0009105647,0.0003791083,0.0006619479],"domain_scores_gemma":[0.9968527,0.00174102,0.0001665227,0.0006159598,0.0003595736,0.0002642538],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.003417103,0.0005711502,0.01002162,0.002710067,0.002372184,0.1515133,0.08682241,0.01970909,0.06009759,0.3239077,0.001196115,0.3376616],"study_design_scores_gemma":[0.008132088,0.004466768,0.2174049,0.001813279,0.0005499707,0.05429074,0.04853936,0.1167766,0.3622726,0.06069168,0.1124725,0.01258952],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4761409,0.0002815569,0.5219149,0.00003144658,0.000320609,0.0002937191,0.000002725905,0.000227642,0.0007865661],"genre_scores_gemma":[0.6345744,0.001404663,0.3448142,0.000006274772,0.00007242544,0.00001148873,0.00008273303,0.00005928227,0.01897451],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3250721,"threshold_uncertainty_score":0.9998869,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1393576704843802,"score_gpt":0.3260815695756731,"score_spread":0.1867238990912929,"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."}}