{"id":"W1692869204","doi":"","title":"Model checking the composition of hypermedia design components","year":2000,"lang":"en","type":"article","venue":"Conference of the Centre for Advanced Studies on Collaborative Research","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Hypermedia; Component (thermodynamics); Composition (language); Software; Component-based software engineering; Model checking; Software engineering; Software development; Software design; Programming language; Operating system","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.001546384,0.0001883039,0.0003994023,0.00008961674,0.0004583827,0.00003210079,0.00150397,0.00004903153,0.000002734911],"category_scores_gemma":[0.002394986,0.0001129075,0.00008012855,0.001029775,0.0007643501,0.0002460221,0.0003470422,0.0002885988,0.000002231558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001425737,"about_ca_system_score_gemma":0.0002112549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.21054e-7,"about_ca_topic_score_gemma":0.00000342,"domain_scores_codex":[0.9974023,0.0007876083,0.0003593887,0.0003654599,0.0006639258,0.0004213371],"domain_scores_gemma":[0.9912096,0.005357697,0.0001896496,0.0007444986,0.002453369,0.00004513283],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0003224979,0.0000980091,0.0000160059,0.00008880725,0.0001068897,6.935289e-7,0.006626409,0.9023421,0.03892356,0.02924492,0.0003223565,0.02190773],"study_design_scores_gemma":[0.001774055,0.0006733865,0.0003336412,0.0009551866,0.00002461199,0.000001407832,0.004792124,0.3619686,0.5001128,0.1281915,0.0007620147,0.000410677],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04185834,0.0008866365,0.9519169,0.002906689,0.0003171826,0.001793765,0.00006177324,0.00006663808,0.0001920713],"genre_scores_gemma":[0.7557571,0.0006203363,0.2430694,0.0000244838,0.00001749295,0.0001256375,0.000001551259,0.00001305889,0.0003709514],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7138987,"threshold_uncertainty_score":0.4604234,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3432516194816023,"score_gpt":0.4292090734881823,"score_spread":0.08595745400658006,"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."}}