{"id":"W2118771704","doi":"10.1109/wpc.1996.501130","title":"A formal architectural design patterns-based approach to software understanding","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Architectural pattern; Abstraction; Formal methods; Software engineering; Programming language; Software design pattern; Software design; Formal specification; Formal verification; Software architecture; Code generation; Software; Software development; Theoretical computer science","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.004553926,0.001829916,0.0008732699,0.003452426,0.002059496,0.005602787,0.003720673,0.002923758,0.003387748],"category_scores_gemma":[0.0100223,0.00140736,0.003107037,0.003078971,0.007938332,0.009951648,0.003582721,0.00571843,0.001078102],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003066975,"about_ca_system_score_gemma":0.004474916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005208308,"about_ca_topic_score_gemma":0.006477302,"domain_scores_codex":[0.9962237,0.001485657,0.0004208309,0.0004516484,0.001218012,0.0002001299],"domain_scores_gemma":[0.9953173,0.002071273,0.0004759927,0.001209169,0.0007594968,0.0001666936],"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.000009426807,0.00003623617,0.0001991426,0.0001733403,0.00002742783,0.0001713087,0.0009258959,0.01603012,0.001102481,0.9583815,0.001511424,0.02143179],"study_design_scores_gemma":[0.00001788323,0.00002320573,0.00007510445,0.0001431697,0.00003359334,0.0002083586,0.0002662562,0.04560067,0.001233483,0.9179062,0.03446669,0.00002532558],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008055945,0.0002225642,0.9947367,0.0009829428,0.00003051347,0.00007586242,0.00005210419,0.0001454605,0.00294833],"genre_scores_gemma":[0.02497178,0.0006274485,0.9714118,0.0002519071,0.00005237095,0.0003560934,0.0002320462,0.00008021046,0.002016354],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005602787,"threshold_uncertainty_score":0.02408379,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1088869408138108,"score_gpt":0.2551833144629549,"score_spread":0.1462963736491441,"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."}}