{"id":"W2065519647","doi":"10.1002/j.2334-5837.2004.tb00620.x","title":"9.2.2 UML‐PVS Requirement Specification and Verification","year":2004,"lang":"en","type":"article","venue":"INCOSE International Symposium","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Unified Modeling Language; Programming language; Formal specification; UML tool; Oracle; B-Method; Applications of UML; Formal methods; Model checking; Software engineering; 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.005601485,0.0005538753,0.000373474,0.0009948327,0.0004827763,0.002039358,0.001007235,0.001111723,0.005842004],"category_scores_gemma":[0.01365597,0.0005903505,0.0009342676,0.0004059029,0.0008254538,0.00149204,0.0008807968,0.0009963025,0.002770072],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001105499,"about_ca_system_score_gemma":0.002351516,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004225793,"about_ca_topic_score_gemma":0.002681288,"domain_scores_codex":[0.9935935,0.002331332,0.0006426777,0.000325961,0.002789952,0.000316565],"domain_scores_gemma":[0.9898821,0.004536803,0.0007866602,0.001995866,0.002667149,0.0001315707],"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.0003604424,0.0003020119,0.005831289,0.0009235335,0.0000723918,0.002216289,0.002568252,0.1105296,0.09349485,0.5802884,0.02072761,0.1826853],"study_design_scores_gemma":[0.0001358569,0.000242663,0.002800627,0.000403307,0.00006267607,0.001836809,0.0005407776,0.4677955,0.1401324,0.07917017,0.3067835,0.00009575846],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0186003,0.00005905961,0.9478146,0.0006489161,0.00007113128,0.0005166008,0.0009364398,0.005909015,0.02544379],"genre_scores_gemma":[0.3275267,0.0001653945,0.6521035,0.0002872768,0.00004229726,0.001052793,0.002354103,0.001198822,0.0152691],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005842004,"threshold_uncertainty_score":0.02962381,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008507876568797597,"score_gpt":0.2079600058527954,"score_spread":0.1994521292839978,"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."}}