{"id":"W4255311214","doi":"10.1109/sefm.2004.1347540","title":"Formal derivation of functional architectural design","year":2004,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Functional requirement; Computer science; Architectural geometry; Component (thermodynamics); Architectural pattern; Architectural design; Software engineering; Mainstream; Formal specification; Functional design; Systems engineering; Programming language; Software design; Software; Architecture; Software development; Engineering; Software construction","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.003710502,0.0007789758,0.0003528733,0.001343487,0.001037479,0.002040531,0.001240664,0.001105043,0.004221172],"category_scores_gemma":[0.007020058,0.0007299978,0.001233501,0.0006509769,0.00368785,0.002063275,0.001972156,0.001697877,0.001368828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00174038,"about_ca_system_score_gemma":0.002014038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002256334,"about_ca_topic_score_gemma":0.00190915,"domain_scores_codex":[0.9980211,0.0007411461,0.0001673075,0.000207351,0.0007291114,0.0001340343],"domain_scores_gemma":[0.997494,0.001061438,0.0001970415,0.0004539607,0.0007316479,0.00006189742],"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.000004068554,0.000008828195,0.00005923757,0.00005298907,0.000004389492,0.00009553801,0.000299135,0.005360718,0.001221607,0.985322,0.0005671152,0.007004428],"study_design_scores_gemma":[0.00002698474,0.00003604816,0.00009405441,0.0001014896,0.00001787907,0.0002002653,0.000130059,0.05080306,0.003379797,0.8886765,0.05651205,0.0000218699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003480249,0.0002451146,0.9766793,0.0004956603,0.00006736544,0.00007438804,0.00007946163,0.0002009525,0.01867752],"genre_scores_gemma":[0.1992582,0.0008778786,0.7881222,0.000342733,0.0001018059,0.0004332433,0.0003834136,0.0002596893,0.01022083],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004221172,"threshold_uncertainty_score":0.01962328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06960555637170972,"score_gpt":0.2622669456596636,"score_spread":0.1926613892879538,"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."}}