{"id":"W4230201082","doi":"10.1109/date.2003.1253651","title":"Specification of non-functional intellectual property components","year":2003,"lang":"en","type":"article","venue":"2003 Design, Automation and Test in Europe Conference and Exhibition","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Programming language; Parameterized complexity; Functional specification; Simple (philosophy); Semantics (computer science); Specification language; Grammar; Property (philosophy); Software; Software development","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.003885097,0.0009537321,0.000482461,0.0009227726,0.0006407208,0.003557411,0.00182621,0.001691678,0.003458779],"category_scores_gemma":[0.005348446,0.000804652,0.001037846,0.0008133174,0.001458507,0.002292669,0.00123195,0.001775901,0.001573632],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000760705,"about_ca_system_score_gemma":0.002643812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00105548,"about_ca_topic_score_gemma":0.001083485,"domain_scores_codex":[0.9967475,0.0007297448,0.0005143936,0.0003176865,0.001450839,0.0002399177],"domain_scores_gemma":[0.9960387,0.001650739,0.0003782384,0.0008934083,0.0009271743,0.0001116141],"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.00006830433,0.0001023951,0.001145548,0.000527718,0.00003952439,0.001753381,0.001279502,0.03465911,0.02920896,0.8603432,0.004615144,0.06625721],"study_design_scores_gemma":[0.0001266583,0.0002016493,0.0007792135,0.0002600708,0.0001059709,0.0023804,0.0004675223,0.201401,0.1174003,0.2871095,0.3896789,0.00008886011],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007571249,0.0001263773,0.9807938,0.000217945,0.0000536071,0.0002513088,0.0004595215,0.001159254,0.009366973],"genre_scores_gemma":[0.1532069,0.0005117204,0.8233325,0.000289526,0.00005812268,0.001209155,0.002330042,0.0007150026,0.01834709],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003885097,"threshold_uncertainty_score":0.02054656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06173815120890437,"score_gpt":0.244231328281431,"score_spread":0.1824931770725267,"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."}}