{"id":"W1709441513","doi":"10.3233/jid-2001-5201","title":"SPECIFICATION DRIVEN BEHAVIORAL DESIGN OF COMPLEX SYSTEMS","year":2001,"lang":"en","type":"article","venue":"Journal of Integrated Design and Process Science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada)","funders":"","keywords":"Systems engineering; Computer science; Engineering","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.003186584,0.0007680338,0.0003758979,0.0005857297,0.0005286321,0.002412219,0.001392893,0.001075439,0.004468991],"category_scores_gemma":[0.003545889,0.0006074573,0.0008629662,0.0005757484,0.00195912,0.001174053,0.001377295,0.0016872,0.0009612615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001456256,"about_ca_system_score_gemma":0.002423993,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002420383,"about_ca_topic_score_gemma":0.00286667,"domain_scores_codex":[0.9976513,0.001077731,0.0001591811,0.0001619937,0.0007741693,0.0001757309],"domain_scores_gemma":[0.9977663,0.001167255,0.0001754949,0.000395694,0.0004192803,0.00007606735],"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.00006431862,0.00008279573,0.0003538449,0.0003639889,0.00003476877,0.0002277066,0.0006571492,0.2172107,0.01301174,0.7244557,0.001816675,0.0417205],"study_design_scores_gemma":[0.0001417701,0.0002542166,0.0002641463,0.0002615775,0.00004890528,0.0001880371,0.0002291527,0.6045429,0.01470271,0.2629147,0.1163891,0.00006275755],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003291192,0.0001619192,0.9873704,0.0003055119,0.00003594612,0.0001412379,0.00006470887,0.0004769184,0.008152138],"genre_scores_gemma":[0.1586708,0.00143538,0.8258626,0.000384403,0.00005267193,0.00154403,0.0003956837,0.0003545888,0.0112998],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004468991,"threshold_uncertainty_score":0.01685244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1668232916600434,"score_gpt":0.3601411996922473,"score_spread":0.1933179080322039,"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."}}