{"id":"W2988652058","doi":"10.1007/s10270-019-00764-7","title":"Ark: a constraint-based method for architectural synthesis of smart systems","year":2019,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Fundação de Amparo à Pesquisa do Estado de São Paulo","keywords":"Computer science; Correctness; Architecture; Leverage (statistics); Software engineering; Bridging (networking); Software architecture; Software architecture description; Reference architecture; Software; Process (computing); Distributed computing; Programming language; Artificial intelligence","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.002472717,0.000376409,0.0009457657,0.0003093603,0.00009508448,0.0001244827,0.001067638,0.0001841405,0.000001124162],"category_scores_gemma":[0.002602026,0.0003436372,0.0002768903,0.0003321788,0.0000436713,0.0002782242,0.0001518811,0.0002250981,0.000007923438],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001277512,"about_ca_system_score_gemma":0.0002083576,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001703861,"about_ca_topic_score_gemma":0.000001535471,"domain_scores_codex":[0.9968713,0.0004406379,0.0008618963,0.0007548216,0.0004501538,0.0006212022],"domain_scores_gemma":[0.9910302,0.007008059,0.0003529648,0.001139804,0.0003471937,0.0001218125],"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":[0.00002461,0.00001309227,0.0001884533,0.001206167,0.00005554339,0.000002304062,0.0001622979,0.9816962,0.000928617,0.003663196,0.000007258052,0.0120522],"study_design_scores_gemma":[0.0003662047,0.0001039071,0.000004748164,0.0007704725,0.0000252771,0.00004757039,0.0001835283,0.9958523,0.001137687,0.001014409,0.000100673,0.0003932482],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007476143,0.0009025017,0.9868012,0.00003089551,0.002281341,0.001284779,0.00005141096,0.001151134,0.00002058382],"genre_scores_gemma":[0.4114184,0.000001101125,0.5882123,0.0000128398,0.00005128513,0.0002314057,0.000002513007,0.00003609433,0.00003399529],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4039423,"threshold_uncertainty_score":0.9999016,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03943515174313256,"score_gpt":0.2912671355939062,"score_spread":0.2518319838507736,"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."}}