{"id":"W1491459646","doi":"10.1109/sefm.2004.18","title":"Formal derivation of functional architectural design","year":2004,"lang":"en","type":"article","venue":"Software Engineering and Formal Methods","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Functional requirement; Architectural geometry; Component (thermodynamics); Architectural pattern; Software engineering; Architectural design; Formal specification; Mainstream; Systems engineering; Software design; Programming language; 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.003919965,0.0008111711,0.0003684502,0.001420894,0.001065135,0.002076345,0.001255957,0.001139196,0.004396567],"category_scores_gemma":[0.007735344,0.0007499533,0.001290437,0.0006686963,0.003851474,0.002135902,0.001991559,0.001763294,0.001450439],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001786906,"about_ca_system_score_gemma":0.002145673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002302429,"about_ca_topic_score_gemma":0.001967042,"domain_scores_codex":[0.9978721,0.0008002066,0.0001812553,0.0002222998,0.0007888793,0.0001351584],"domain_scores_gemma":[0.997244,0.00119537,0.0002150108,0.0004823812,0.0007975945,0.00006568199],"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.000004147939,0.000008955695,0.00006035063,0.00005565463,0.000004892069,0.00009287248,0.0003069245,0.005486369,0.001220938,0.9847177,0.0006122247,0.007429105],"study_design_scores_gemma":[0.00002676685,0.00003417347,0.00008848029,0.0001009292,0.00001792357,0.0001886572,0.0001252078,0.04794497,0.003205051,0.892488,0.05575766,0.00002217332],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00307358,0.0002480765,0.9783834,0.0004922147,0.00006783877,0.00007304225,0.00007642274,0.0001919125,0.01739363],"genre_scores_gemma":[0.1798184,0.0008755702,0.8077499,0.000348229,0.0001011317,0.0004416728,0.0003740503,0.0002613209,0.01002967],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004396567,"threshold_uncertainty_score":0.02073097,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0441850217215463,"score_gpt":0.2941300642610514,"score_spread":0.2499450425395051,"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."}}