{"id":"W2147656247","doi":"10.1109/rsp.2005.43","title":"Rapid Prototyping of Embedded Software Using Selective Formalism","year":2006,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"","keywords":"Formalism (music); Rapid prototyping; Computer science; Software prototyping; Software; Embedded system; Computer architecture; Programming language; Software development; Engineering; Mechanical 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004125678,0.0001470555,0.0002369378,0.0001866213,0.00008211544,0.0000613067,0.0005989347,0.00009281097,0.00001166952],"category_scores_gemma":[0.00003171891,0.0001321878,0.00008203702,0.0005908341,0.00003594323,0.0007425873,0.0001472412,0.00009950939,0.000004634059],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000786442,"about_ca_system_score_gemma":0.0001015718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003293247,"about_ca_topic_score_gemma":0.00001052377,"domain_scores_codex":[0.9986333,0.0001014076,0.0004079695,0.000295238,0.00027325,0.0002888394],"domain_scores_gemma":[0.9989503,0.00006914738,0.0002093045,0.000491372,0.0002444483,0.000035448],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00005775679,0.0005242012,0.00362469,0.0007900638,0.0001541318,0.00005796952,0.006004864,0.0004956585,0.2472302,0.6086233,0.0126802,0.119757],"study_design_scores_gemma":[0.0002967845,0.0001611941,0.0004256564,0.0001309889,0.000007225562,0.00007753922,0.00003785214,0.0599008,0.9111789,0.02643651,0.0009943815,0.0003521306],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008954377,0.0001845824,0.981526,0.00001673446,0.00006730427,0.0009185998,9.500537e-7,0.0007792297,0.007552268],"genre_scores_gemma":[0.4240102,0.000001480601,0.5757138,0.00004067481,0.00004633088,0.00005431684,7.476042e-7,0.00001163465,0.0001208006],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6639487,"threshold_uncertainty_score":0.5390461,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02277237938521956,"score_gpt":0.2585443567764096,"score_spread":0.2357719773911901,"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."}}