{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.08373038,0.002750659,0.001359508,0.008333812,0.002440662,0.009135374,0.006143738,0.0133697,0.0261193],"category_scores_gemma":[0.2398114,0.002400774,0.003552015,0.005924649,0.004112305,0.02275542,0.003957104,0.01028192,0.01622767],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005940889,"about_ca_system_score_gemma":0.01523328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01451368,"about_ca_topic_score_gemma":0.02344646,"domain_scores_codex":[0.9215987,0.03750805,0.01400683,0.002639644,0.02149949,0.002747372],"domain_scores_gemma":[0.5922242,0.1632496,0.02111623,0.03669004,0.1774966,0.009223209],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002315689,0.0007657216,0.002722406,0.008857816,0.0001227928,0.0007045377,0.003277722,0.003896284,0.006574317,0.04311435,0.4101927,0.51954],"study_design_scores_gemma":[0.0002722547,0.0003073052,0.001994909,0.01545531,0.0001913464,0.0004770306,0.003481089,0.003082311,0.003109017,0.04325815,0.9280961,0.000275146],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"commentary","genre_gemma":"methods","genre_scores_codex":[0.006703678,0.03856115,0.3654081,0.5061218,0.01555866,0.004769447,0.001334452,0.009769801,0.05177282],"genre_scores_gemma":[0.0192048,0.03610802,0.8630298,0.03430252,0.002098612,0.003474656,0.002627956,0.002107015,0.03704656],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.08373038,"threshold_uncertainty_score":0.4428139,"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."}}