{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01564069,0.002054746,0.001290809,0.00318485,0.00261413,0.008108329,0.003931755,0.004192924,0.004895707],"category_scores_gemma":[0.01556758,0.001561007,0.002959892,0.003964279,0.01619944,0.0100478,0.003769899,0.008785622,0.003012269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004014569,"about_ca_system_score_gemma":0.00515048,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005122477,"about_ca_topic_score_gemma":0.003186746,"domain_scores_codex":[0.9893513,0.004334103,0.001568233,0.001028984,0.003189543,0.0005278006],"domain_scores_gemma":[0.9902083,0.005673982,0.0006684806,0.001935333,0.001300013,0.0002139117],"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.000003726631,0.000009202677,0.00003702583,0.00009146483,0.000007118836,0.00003062228,0.0003544975,0.0009375901,0.0001696255,0.990567,0.001242127,0.006549977],"study_design_scores_gemma":[0.00001690936,0.0000163235,0.0000344961,0.0001559567,0.00001097201,0.00007838442,0.00007608575,0.003335937,0.0004471298,0.9390842,0.05672538,0.00001824429],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006998372,0.002369107,0.9806788,0.002835189,0.0002773841,0.0001463786,0.0001546431,0.0004022826,0.01243635],"genre_scores_gemma":[0.04756545,0.005789936,0.9346002,0.002012954,0.0007011888,0.001394258,0.000631547,0.0003115785,0.006992776],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01564069,"threshold_uncertainty_score":0.08271688,"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."}}