{"id":"W2086908167","doi":"10.1109/formalise.2013.6612276","title":"Recommendations for improving the usability of formal methods for product lines","year":2013,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; USable; Usability; Formal methods; Software engineering; Formal specification; Rotation formalisms in three dimensions; Formal verification; Product (mathematics); Systems engineering; Programming language; Human–computer interaction; World Wide Web; 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":[],"consensus_categories":[],"category_scores_codex":[0.00227574,0.00008243279,0.0001365723,0.00003170006,0.0001158841,0.0000364701,0.000582614,0.00002398495,0.00000450361],"category_scores_gemma":[0.006946912,0.00005074577,0.00007565568,0.0001458837,0.00004254655,0.0007278881,0.0001893993,0.00005187127,5.682317e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001634928,"about_ca_system_score_gemma":0.00002999924,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002012312,"about_ca_topic_score_gemma":0.000001505642,"domain_scores_codex":[0.9991765,0.00009488913,0.0002517213,0.000221449,0.00004237322,0.0002130495],"domain_scores_gemma":[0.9936844,0.005374349,0.00009256692,0.0005465802,0.0002804531,0.00002165357],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002112283,0.00001304605,0.00001761255,0.00006601421,0.000006734261,1.846387e-9,0.0001904459,0.001778565,0.007436761,0.01878667,0.0003929239,0.9713091],"study_design_scores_gemma":[0.0003691702,0.0002544305,0.001063315,0.000009372635,0.00001545708,0.000003002422,0.0001907805,0.3653707,0.3205481,0.298889,0.01299492,0.0002917045],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003795629,0.00005343649,0.9936919,0.004072584,0.0005035356,0.001083164,0.000002648173,0.000196438,0.00001678699],"genre_scores_gemma":[0.005507686,0.000001710739,0.9935317,0.00007745865,0.0000581239,0.000645107,0.000001446479,0.000006505441,0.0001702744],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9710174,"threshold_uncertainty_score":0.8316604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1169928506850541,"score_gpt":0.4031946984785721,"score_spread":0.2862018477935181,"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."}}