{"id":"W2138260737","doi":"10.1109/mise.2009.5069897","title":"Model transformation of dependability-focused requirements models","year":2009,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Dependability; Model transformation; Interrupt; Transformation (genetics); Process (computing); Model checking; Activity diagram; Software engineering; Unified Modeling Language; Programming language; Consistency (knowledge bases); Artificial intelligence; Embedded system","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.003671185,0.001023802,0.0005055404,0.001668201,0.0003533844,0.002111744,0.001812249,0.001307539,0.002666427],"category_scores_gemma":[0.01017714,0.0008561409,0.002261251,0.0008970628,0.001087055,0.002016073,0.001869032,0.001947453,0.0008339861],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002106213,"about_ca_system_score_gemma":0.001883133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004407344,"about_ca_topic_score_gemma":0.004236426,"domain_scores_codex":[0.9958795,0.001561496,0.0003658083,0.0004001596,0.001559197,0.000233792],"domain_scores_gemma":[0.9948359,0.002726294,0.0004623357,0.001019064,0.0008764992,0.00007999036],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001002147,0.000161248,0.0006651887,0.0002635447,0.0000818721,0.0009127986,0.001262355,0.5258493,0.007345971,0.4277648,0.001752817,0.03383992],"study_design_scores_gemma":[0.00005568815,0.00007890975,0.0001947324,0.00009604566,0.00005144034,0.0001826766,0.0001716908,0.8106421,0.007920164,0.1462673,0.03430872,0.00003055679],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01093216,0.00008117288,0.9801278,0.0002586812,0.00003415718,0.0003656273,0.0004954998,0.0008485567,0.006856238],"genre_scores_gemma":[0.2803745,0.0005032974,0.7046339,0.0002052216,0.00004122403,0.002019672,0.002704786,0.0004974087,0.009020052],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004407344,"threshold_uncertainty_score":0.01941532,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1193315291688718,"score_gpt":0.3224353521804763,"score_spread":0.2031038230116045,"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."}}