{"id":"W2115730713","doi":"10.5555/789083.1022769","title":"Specification of Non-Functional Intellectual Property Components","year":2003,"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 Toronto","funders":"","keywords":"Computer science; Programming language; Functional specification; Parameterized complexity; Semantics (computer science); Formal specification; Simple (philosophy); Specification language; Functional programming; 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.003852426,0.0009393261,0.0004685016,0.0008608493,0.0006267958,0.003349107,0.001806826,0.001668783,0.0033859],"category_scores_gemma":[0.005299476,0.0007703134,0.001037322,0.0007775364,0.001517743,0.002319216,0.001195461,0.001719731,0.001480942],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007363211,"about_ca_system_score_gemma":0.00256076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009819312,"about_ca_topic_score_gemma":0.001036837,"domain_scores_codex":[0.9969857,0.0007049071,0.0004583025,0.0002964299,0.001331999,0.0002227289],"domain_scores_gemma":[0.9960762,0.001665541,0.0003687526,0.0009192876,0.0008619757,0.0001082106],"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.00006490267,0.00009998247,0.001073997,0.000516767,0.00003918646,0.001666405,0.001194279,0.03525395,0.0285632,0.8583274,0.004169526,0.06903049],"study_design_scores_gemma":[0.0001224031,0.0002040301,0.0007327677,0.0002492771,0.0001107837,0.002309393,0.0004429978,0.2057558,0.1206887,0.296734,0.3725651,0.00008483774],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007024347,0.0001173096,0.9828273,0.0002004252,0.00004784954,0.0002212517,0.0003642627,0.001034675,0.008162654],"genre_scores_gemma":[0.1442122,0.0004729605,0.8345346,0.0002484623,0.00005176941,0.001071976,0.001864478,0.0006345402,0.01690914],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003852426,"threshold_uncertainty_score":0.02037382,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0577984740363057,"score_gpt":0.245048827043503,"score_spread":0.1872503530071973,"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."}}