{"id":"W2008115410","doi":"10.1016/s0950-5849(03)00070-3","title":"A rigorous approach for constructing self-evolving real-time reactive systems","year":2003,"lang":"en","type":"article","venue":"Information and Software Technology","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Reuse; Reliability (semiconductor); Systems engineering; Architecture; Complex system; System of systems; Distributed computing; Software engineering; Systems design; Engineering; 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":[],"consensus_categories":[],"category_scores_codex":[0.0005308299,0.0001557794,0.0002464007,0.0003551654,0.0001595088,0.0001115016,0.0003049498,0.0002279796,6.97727e-7],"category_scores_gemma":[0.002853573,0.0001518672,0.00002899895,0.0003943836,0.00007632928,0.001345119,0.0001027324,0.0001674267,0.000006038248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000826863,"about_ca_system_score_gemma":0.0000567546,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004116251,"about_ca_topic_score_gemma":7.694939e-8,"domain_scores_codex":[0.9990361,0.00004502358,0.0003252921,0.0001996561,0.0001041202,0.0002897794],"domain_scores_gemma":[0.9986164,0.0005827399,0.0002059728,0.0003496631,0.0002022941,0.00004292601],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000128749,0.00005004064,0.002252759,0.0005661253,0.0001363174,0.000004920156,0.004141341,0.02044609,0.000474741,0.8010729,0.0003472227,0.1704947],"study_design_scores_gemma":[0.008395394,0.001520393,0.0008158995,0.0003677892,0.0001476874,0.006716631,0.01559225,0.622374,0.01534053,0.2610894,0.06263202,0.005007999],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002510363,0.0001330705,0.9917785,0.0000268568,0.0002057856,0.0004146323,0.000004011543,0.004056463,0.0008703256],"genre_scores_gemma":[0.02285615,0.00002430326,0.9769239,0.00002306007,0.000008238233,0.0001324548,0.000005826283,0.000008174213,0.00001789589],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6019279,"threshold_uncertainty_score":0.6192964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01240566496568904,"score_gpt":0.2378542001089108,"score_spread":0.2254485351432217,"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."}}