{"id":"W1724969323","doi":"","title":"Principles in formal specification of object oriented design and architecture","year":2001,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Rotation formalisms in three dimensions; Formal specification; Architecture; Programming language; Formal methods; Database-centric architecture; Software engineering; Key (lock); Computer architecture; Theoretical computer science; Reference architecture; Software architecture; Mathematics; Software","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005954128,0.00005723803,0.00008448697,0.0001260509,0.00001320584,0.00000713176,0.0001710712,0.00002841689,0.000001270331],"category_scores_gemma":[0.0003304857,0.00004743117,0.000009628066,0.0003069696,0.00002471657,0.0001956512,0.00008805229,0.00006597785,4.945075e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001436951,"about_ca_system_score_gemma":0.00001099916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003428858,"about_ca_topic_score_gemma":0.000003341835,"domain_scores_codex":[0.9994528,0.00005100267,0.0001422606,0.0001374931,0.00007957756,0.0001368424],"domain_scores_gemma":[0.9991936,0.0005345046,0.00003660102,0.0001928003,0.00002223415,0.00002027157],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"observational","study_design_scores_codex":[0.0000473185,0.00003406715,0.003248078,0.0000244347,0.000005694658,0.00001431286,0.001601031,0.503855,0.0100092,0.1486862,0.000003930522,0.3324707],"study_design_scores_gemma":[0.002319969,0.0009315383,0.387101,0.000148503,0.000007699722,0.0002937522,0.0004067994,0.2314756,0.2863884,0.07501295,0.01480865,0.001105139],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02872541,0.00005724317,0.9706368,0.0000413451,0.00004806749,0.0001029827,8.32808e-8,0.0001226536,0.0002654189],"genre_scores_gemma":[0.1265112,0.00002425968,0.8733873,0.000008892083,0.000006393018,0.00000330708,2.107689e-7,0.000002634596,0.00005578637],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3838529,"threshold_uncertainty_score":0.1934187,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06339106354923034,"score_gpt":0.2830077837824239,"score_spread":0.2196167202331936,"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."}}