{"id":"W2121042490","doi":"","title":"On specifying systems that connect to the physical world","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Software Engineering Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Domain (mathematical analysis); Base (topology); Software; Software engineering; Industrial engineering; Risk analysis (engineering); Engineering; Mathematics; Programming language","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.00579175,0.003288635,0.001350039,0.002288107,0.003282116,0.007208474,0.003470564,0.006358146,0.01076585],"category_scores_gemma":[0.01419744,0.001636778,0.002009418,0.003703153,0.02309303,0.01967751,0.008390564,0.007572835,0.004052332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002085131,"about_ca_system_score_gemma":0.003807317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00461609,"about_ca_topic_score_gemma":0.005777989,"domain_scores_codex":[0.992641,0.003289146,0.0005888282,0.0007846077,0.002299622,0.0003967334],"domain_scores_gemma":[0.9909758,0.005296985,0.0006034501,0.002119988,0.0007052743,0.0002985242],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000128714,0.000009344256,0.00009232209,0.0002142939,0.000008369063,0.0001464805,0.0008991123,0.001978925,0.0004831403,0.9822878,0.001863119,0.01200424],"study_design_scores_gemma":[0.00003052775,0.00005541438,0.0002026638,0.0004791242,0.00002921773,0.0003965671,0.0005090768,0.005810502,0.001418528,0.8371322,0.1538825,0.00005366931],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003521791,0.00380978,0.9232046,0.005321086,0.0006260696,0.0002414561,0.000214577,0.0007534766,0.06230715],"genre_scores_gemma":[0.1119486,0.01820275,0.8273376,0.004316665,0.001533428,0.001618157,0.001103672,0.0009779383,0.03296121],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01076585,"threshold_uncertainty_score":0.03601533,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1765420709555909,"score_gpt":0.3793008742886477,"score_spread":0.2027588033330567,"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."}}