{"id":"W3203192334","doi":"10.1109/tase52547.2021.00015","title":"A Formal Engineering Approach to Product Family Modeling","year":2021,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Feature model; Computer science; Feature (linguistics); Code refactoring; Software engineering; Software product line; Formal specification; Process (computing); Product (mathematics); Formal methods; Set (abstract data type); Software; Programming language; Software development; Mathematics","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.000318472,0.0001288713,0.0001494308,0.00008104068,0.00004264206,0.00007828174,0.0004806586,0.00002798769,6.483629e-7],"category_scores_gemma":[0.0006586289,0.0001239693,0.00004170647,0.0005360322,0.000003285063,0.0005908111,0.0004982941,0.0001276901,0.00001246501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003736421,"about_ca_system_score_gemma":0.00004493241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002351115,"about_ca_topic_score_gemma":1.247697e-7,"domain_scores_codex":[0.9988682,0.00002094011,0.0001500917,0.0004202739,0.0001689538,0.0003715137],"domain_scores_gemma":[0.9991423,0.00008641175,0.00001063022,0.0005821291,0.00009060492,0.00008795477],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[5.307369e-7,0.00001109881,0.000002007035,0.0000156223,0.000005130397,0.000005079037,0.0001826775,0.9643105,0.00571288,0.02049009,0.00003249171,0.009231896],"study_design_scores_gemma":[0.00006221193,0.000009880225,0.00005301575,0.000008305277,0.000001333719,0.00003047442,0.00003566743,0.989671,0.008590247,0.0008462095,0.0004916807,0.000199969],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003582468,0.0002111635,0.993175,0.0001124659,0.0003794951,0.00009097556,2.836627e-7,0.001108226,0.001339945],"genre_scores_gemma":[0.08972121,0.000004002071,0.9098121,0.0001569893,0.00005990341,0.00002626061,8.549692e-7,0.00001235391,0.0002063177],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.08613874,"threshold_uncertainty_score":0.5055321,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06344726471309103,"score_gpt":0.2654312878788325,"score_spread":0.2019840231657414,"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."}}