{"id":"W2132387930","doi":"10.1080/03081070903029253","title":"Synergistic verification and validation of systems and software engineering models","year":2009,"lang":"en","type":"article","venue":"International Journal of General Systems","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Defence Research and Development Canada; Concordia University","funders":"","keywords":"Computer science; Systems Modeling Language; Unified Modeling Language; Software engineering; Verification and validation; Software verification; Sequence diagram; Formal verification; Software; Software system; Programming language; Data mining; Systems engineering; Software construction; Engineering","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.02698831,0.001723636,0.001957113,0.003668871,0.001052536,0.005287939,0.003372247,0.002924527,0.002135217],"category_scores_gemma":[0.04493874,0.001705446,0.003401096,0.001895039,0.003546438,0.006877483,0.009351534,0.004003061,0.0007846476],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001833026,"about_ca_system_score_gemma":0.006354508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001820885,"about_ca_topic_score_gemma":0.001579701,"domain_scores_codex":[0.951293,0.02306432,0.002978484,0.002876344,0.01856522,0.001222623],"domain_scores_gemma":[0.9638862,0.01495614,0.002625563,0.0144455,0.003724421,0.0003621748],"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.0002604452,0.0002816377,0.003554268,0.001210858,0.0005703506,0.0008551225,0.001671072,0.1944392,0.0336719,0.5961841,0.001568532,0.1657324],"study_design_scores_gemma":[0.00009548935,0.0003901009,0.001241772,0.0007409478,0.0003200725,0.0005863977,0.0002984797,0.7363551,0.04407986,0.1837448,0.03202222,0.0001247282],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005076894,0.0001957689,0.9921439,0.0001550034,0.00003097201,0.0001119913,0.00003360163,0.0006416002,0.001610344],"genre_scores_gemma":[0.196364,0.0005896566,0.7999482,0.0001617816,0.0000494975,0.0006653236,0.0003469489,0.0002934262,0.00158116],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02698831,"threshold_uncertainty_score":0.1427295,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01956962115083184,"score_gpt":0.2599739429218604,"score_spread":0.2404043217710286,"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."}}