{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00344834,0.0008727754,0.0008549474,0.001296054,0.0009943231,0.002091179,0.002426742,0.001117078,0.002612927],"category_scores_gemma":[0.008652926,0.0007929048,0.001654786,0.0006718237,0.003391483,0.002543912,0.003397849,0.00301507,0.0006896289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001162187,"about_ca_system_score_gemma":0.001541755,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001741158,"about_ca_topic_score_gemma":0.002023332,"domain_scores_codex":[0.9982234,0.0004942239,0.0001152972,0.0001425673,0.0009228538,0.0001017268],"domain_scores_gemma":[0.9969805,0.0011778,0.0002499877,0.0006390079,0.0008048734,0.0001479483],"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.000008563911,0.00002105775,0.00014951,0.00006922154,0.00003001825,0.00007280942,0.0001710554,0.09249458,0.002604693,0.8902552,0.0005990091,0.01352422],"study_design_scores_gemma":[0.0000139718,0.00002841321,0.00007337748,0.00002294645,0.00002288895,0.00004941044,0.00002887145,0.5344822,0.001637891,0.4573247,0.006295486,0.00001991914],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009688821,0.00004079727,0.9972754,0.00006532798,0.00002324144,0.00001302245,0.000007448528,0.0000685546,0.001537271],"genre_scores_gemma":[0.1526884,0.0003576731,0.8409088,0.0001829499,0.0001357812,0.0002081156,0.0001091969,0.0002660115,0.005143113],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00344834,"threshold_uncertainty_score":0.01823676,"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."}}