{"id":"W2504374816","doi":"10.4018/978-1-59904-090-5.ch016","title":"Software Specification and Attack Languages","year":2007,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Software Engineering Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Programming language; Software engineering; Software security assurance; Software development; Software requirements specification; Specification language; Software construction; Software; Computer security; Information security; Security service","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001962484,0.0002829269,0.000238478,0.0001197211,0.0000619873,0.0001857309,0.0007361134,0.0002962004,0.00001492989],"category_scores_gemma":[0.0001215833,0.0002934171,0.00007237728,0.00003270228,0.00007741601,0.000076066,0.0003878193,0.0003123424,0.0002542472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002009395,"about_ca_system_score_gemma":0.00008919744,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001742404,"about_ca_topic_score_gemma":0.0000151155,"domain_scores_codex":[0.9983425,0.000008195134,0.0002193165,0.0005711845,0.0005195654,0.0003392155],"domain_scores_gemma":[0.9985974,0.0002180838,0.00007921104,0.000808651,0.0001141577,0.0001825119],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000003593535,0.00000306806,0.0001626262,0.00004179425,0.00002717793,0.0001312841,0.00005136007,0.000003844187,0.000004819696,0.9126622,0.002955297,0.0839529],"study_design_scores_gemma":[0.001366485,0.0004350075,0.01787566,0.001058973,0.00007940384,0.0008652697,0.00002399334,0.0005213238,0.000458194,0.2908361,0.6829888,0.003490769],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0001704236,0.001851129,0.1462837,0.00005839343,0.0003452617,0.0002944633,0.00003478933,0.0008677451,0.8500941],"genre_scores_gemma":[0.1087983,0.0001267072,0.286182,0.001067287,0.002462749,0.00005426973,0.00003104427,0.0003125532,0.600965],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.6800335,"threshold_uncertainty_score":0.9999518,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03964932326458692,"score_gpt":0.3014450790820726,"score_spread":0.2617957558174857,"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."}}