{"id":"W2016492784","doi":"10.1007/s10270-009-0128-1","title":"A dependability profile within MARTE","year":2009,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":172,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada; Ministerio de Ciencia y Tecnología","keywords":"Dependability; Computer science; Unified Modeling Language; Petri net; Stochastic Petri net; Applications of UML; Formal methods; Software engineering; Software; Reliability engineering; Distributed computing; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.002467905,0.0004630337,0.000441699,0.0018332,0.000574053,0.001700428,0.00105103,0.0007422783,0.003580735],"category_scores_gemma":[0.006794023,0.0006110595,0.000615976,0.001025648,0.0003301118,0.003335702,0.0009527493,0.001472309,0.001380811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006258944,"about_ca_system_score_gemma":0.0008009822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001854155,"about_ca_topic_score_gemma":0.003619957,"domain_scores_codex":[0.9982139,0.0001656529,0.0001010803,0.0001792038,0.001109352,0.000230879],"domain_scores_gemma":[0.9953577,0.00106404,0.0003140252,0.001439937,0.001491987,0.0003322567],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001645796,0.0009285772,0.03265585,0.0004268883,0.0001353053,0.0009955919,0.002441007,0.1448253,0.0812858,0.09488253,0.01596853,0.6238089],"study_design_scores_gemma":[0.00006059618,0.0008594858,0.0227175,0.0001615987,0.00007583102,0.001874547,0.0004688589,0.7933084,0.0531707,0.05024708,0.07691938,0.0001359934],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.492837,0.0008931787,0.4402119,0.0011334,0.00007125532,0.0002917208,0.00241723,0.01488918,0.04725499],"genre_scores_gemma":[0.8094928,0.0003298501,0.1704757,0.000230037,0.00005055618,0.00007031934,0.003758616,0.001869566,0.01372253],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003580735,"threshold_uncertainty_score":0.01305169,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02643716325503444,"score_gpt":0.2744401544358737,"score_spread":0.2480029911808393,"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."}}