{"id":"W2500108099","doi":"10.4018/978-1-59904-219-0.ch014","title":"Formalizing Patterns with the User Requirements Notation","year":2007,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; University of Ottawa","funders":"","keywords":"Notation; Computer science; Focus (optics); Programming language; Context (archaeology); Process (computing); Isolation (microbiology); Pattern language (formal languages); Human–computer interaction; Theoretical computer science; Linguistics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003642505,0.0003598458,0.0002575602,0.00005974311,0.0001266378,0.0001266839,0.0009941508,0.0001854955,0.000002612328],"category_scores_gemma":[0.00003633909,0.000250461,0.00008677605,0.00002966894,0.0000627382,0.000225967,0.0003330734,0.0002967042,0.00002834768],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000232454,"about_ca_system_score_gemma":0.00006341253,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001480775,"about_ca_topic_score_gemma":0.00005018252,"domain_scores_codex":[0.9983736,0.00002376727,0.0002576432,0.0004352181,0.0005232679,0.0003864836],"domain_scores_gemma":[0.9985816,0.000196618,0.0002315461,0.0008041422,0.0001162372,0.00006985158],"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.00001057684,0.000001684452,0.00002659915,0.0000235604,0.00004990497,0.00005672803,0.0001382146,0.001040868,0.000006070029,0.9692374,0.0001407495,0.02926766],"study_design_scores_gemma":[0.001411611,0.0006780399,0.001295728,0.001349428,0.0001783511,0.0003368544,0.00007608571,0.0006490135,0.001002012,0.8743691,0.1158184,0.002835452],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003775651,0.00007309446,0.7504925,0.00004160301,0.0003612354,0.0002205866,0.000009473271,0.0003868376,0.2483769],"genre_scores_gemma":[0.03295579,0.00001007259,0.916135,0.001847857,0.0004468831,0.00004862412,0.000006363216,0.0001192918,0.04843008],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1999469,"threshold_uncertainty_score":0.9999948,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0698038873970985,"score_gpt":0.3079384993618535,"score_spread":0.238134611964755,"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."}}