{"id":"W4232773967","doi":"10.1007/978-3-540-69489-2_16","title":"Modelling and Analysis of Real Time and Embedded Systems – Using UML","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"IBM (Canada)","funders":"","keywords":"Computer science; Unified Modeling Language; Perspective (graphical); Model transformation; Transformation (genetics); Software engineering; Data science; Programming language; Artificial intelligence; Software; Consistency (knowledge bases)","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.001351627,0.0009608032,0.0006019019,0.001156883,0.0003381109,0.002386367,0.001372252,0.0009532883,0.002984972],"category_scores_gemma":[0.002768985,0.0009339364,0.001431546,0.0006471395,0.0009926698,0.002367633,0.0008116234,0.001011007,0.000986346],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009887575,"about_ca_system_score_gemma":0.001016678,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003426248,"about_ca_topic_score_gemma":0.002383656,"domain_scores_codex":[0.9986993,0.0003918337,0.0001493665,0.0001358745,0.0005468275,0.00007673623],"domain_scores_gemma":[0.9984975,0.0008029546,0.0002101794,0.0002755625,0.0001863001,0.00002751517],"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.0001298319,0.00009964112,0.00120337,0.001216669,0.0001246285,0.0006329236,0.001390151,0.3703277,0.05659635,0.4103648,0.002494696,0.1554193],"study_design_scores_gemma":[0.00004496053,0.00009675745,0.0007884158,0.0003534012,0.0001244037,0.0005754043,0.0001441841,0.7275662,0.05086836,0.1287462,0.09062867,0.00006302748],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005894283,0.0007719218,0.9875772,0.0001096741,0.00003551509,0.00006876223,0.0001132124,0.00136806,0.004061375],"genre_scores_gemma":[0.2205157,0.002501756,0.7658359,0.00008534428,0.00005773306,0.0002485448,0.000702996,0.0006553569,0.009396689],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003426248,"threshold_uncertainty_score":0.009985745,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05509177242122856,"score_gpt":0.3063189809186112,"score_spread":0.2512272084973826,"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."}}