{"id":"W3170012332","doi":"10.1109/iccicc50026.2020.9450275","title":"Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing","year":2020,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Software requirements; Software engineering; Programming language; Software requirements specification; Software construction; Software system; Requirements elicitation; Software development; Formal specification; Formal methods; Requirements analysis; Verification and validation; Software; 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.008771772,0.0009142726,0.0006801646,0.002353853,0.001151482,0.002116965,0.00166105,0.001084863,0.002665668],"category_scores_gemma":[0.01858305,0.0005776324,0.002044443,0.001362403,0.003568504,0.005203137,0.002504566,0.002013486,0.0006706835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001901742,"about_ca_system_score_gemma":0.003636402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001679515,"about_ca_topic_score_gemma":0.001724276,"domain_scores_codex":[0.9863731,0.007517137,0.0008978732,0.001185778,0.003739307,0.000286796],"domain_scores_gemma":[0.9847014,0.01097027,0.0008270869,0.001858282,0.001455967,0.0001870022],"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":[0.0001098712,0.0002460438,0.0007711599,0.0004667483,0.00006617317,0.0003263128,0.002148805,0.03554409,0.0207041,0.8306977,0.001669148,0.1072499],"study_design_scores_gemma":[0.0000778406,0.0001506993,0.0003741473,0.0001380589,0.0000433976,0.0004367914,0.0004843199,0.3404746,0.01734097,0.6236955,0.01668816,0.00009552149],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002976775,0.00003619362,0.9952865,0.0001524256,0.000007599348,0.0001247609,0.0000357825,0.0001532664,0.001226649],"genre_scores_gemma":[0.08981624,0.0001406591,0.908228,0.00009950322,0.00002515634,0.0005287669,0.0002403989,0.00006503743,0.0008562366],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008771772,"threshold_uncertainty_score":0.04639012,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02835224669301451,"score_gpt":0.2573834402018002,"score_spread":0.2290311935087856,"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."}}