{"id":"W128640981","doi":"","title":"SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems","year":2005,"lang":"en","type":"article","venue":"Iowa State University Digital Repository (Iowa State University)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Grantová Agentura České Republiky; Enterprise Ireland; Fonds Québécois de la Recherche sur la Nature et les Technologies; National Science Foundation","keywords":"Component (thermodynamics); Computer science; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0113932,0.002966248,0.002060813,0.001759427,0.001353373,0.008186206,0.004960795,0.002785315,0.02056643],"category_scores_gemma":[0.009880186,0.00151951,0.00308062,0.00170916,0.002125259,0.003064856,0.003320586,0.004118596,0.01180098],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002914898,"about_ca_system_score_gemma":0.005353624,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005353651,"about_ca_topic_score_gemma":0.003828179,"domain_scores_codex":[0.9932028,0.002484926,0.0006868412,0.0005500032,0.002740824,0.0003345971],"domain_scores_gemma":[0.9939647,0.002110333,0.0002687362,0.001362145,0.00167005,0.0006240421],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006298178,0.0005520699,0.001045816,0.001965151,0.0005208522,0.001877858,0.001431164,0.06646385,0.009553793,0.1432504,0.4184197,0.3542896],"study_design_scores_gemma":[0.0003114969,0.0004374312,0.001078275,0.00112533,0.0001943162,0.001109681,0.0003910686,0.08918343,0.01077088,0.09846936,0.7967606,0.0001682298],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01155214,0.02088021,0.871897,0.006299526,0.01308784,0.001338289,0.00167257,0.005436859,0.06783561],"genre_scores_gemma":[0.1431213,0.03041356,0.6061842,0.003488281,0.004499201,0.00296092,0.01724133,0.005150573,0.1869407],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02056643,"threshold_uncertainty_score":0.06880158,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01472704185586059,"score_gpt":0.1879603908482544,"score_spread":0.1732333489923938,"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."}}