{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001248683,0.0006464207,0.000266248,0.0004780587,0.0003485574,0.0007878108,0.0009285785,0.0003575938,0.002039631],"category_scores_gemma":[0.00272529,0.0004654675,0.0004896391,0.0003112372,0.0009396238,0.000816626,0.0009419624,0.0007497428,0.000522604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004037018,"about_ca_system_score_gemma":0.0008188008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006030452,"about_ca_topic_score_gemma":0.0009671836,"domain_scores_codex":[0.9988205,0.0003651324,0.00006212632,0.00009510344,0.0005588154,0.00009830987],"domain_scores_gemma":[0.9983176,0.0009876908,0.0001110697,0.0003606669,0.0001725601,0.00005047333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0002633064,0.00008973392,0.001130251,0.0006992212,0.00005329397,0.002507344,0.0008717077,0.1867651,0.323847,0.3119857,0.003058961,0.1687284],"study_design_scores_gemma":[0.0002015564,0.0004115625,0.0005120533,0.0001307193,0.00004852073,0.001251755,0.000195862,0.5416664,0.3296994,0.0804511,0.04537522,0.00005581288],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0422769,0.00009230516,0.9490615,0.00007680852,0.00001542565,0.0001151705,0.00006858104,0.001827898,0.006465521],"genre_scores_gemma":[0.4428544,0.0003108416,0.5530657,0.00006867702,0.000009993177,0.0002383712,0.0001824374,0.0003664868,0.0029031],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002039631,"threshold_uncertainty_score":0.006823301,"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."}}