{"id":"W4230496176","doi":"10.1109/aspec.2007.54","title":"Aligning the Map Requirements Modelling with the B-method for Formal Software Development","year":2007,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Software engineering; Formal specification; Software requirements specification; Software development; Requirements analysis; Software requirements; Requirements elicitation; Formal methods; Formal verification; System requirements specification; Requirements management; Software construction; Programming language; Systems engineering; Software; 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.00928061,0.001187174,0.0007572395,0.00334377,0.001253053,0.003035634,0.002183029,0.002107701,0.004620674],"category_scores_gemma":[0.0160843,0.001275114,0.002138554,0.002076246,0.003346504,0.004431152,0.003278637,0.003067923,0.002385838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001431134,"about_ca_system_score_gemma":0.00403869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004894315,"about_ca_topic_score_gemma":0.004059162,"domain_scores_codex":[0.9899387,0.005607031,0.0007366185,0.0006433288,0.002802312,0.0002721032],"domain_scores_gemma":[0.9875365,0.007527375,0.0008256027,0.002245898,0.001598075,0.0002665822],"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.00007582087,0.0001640344,0.0009799452,0.000793963,0.00006867662,0.0005827131,0.003403265,0.03707553,0.01039194,0.731066,0.004143913,0.2112542],"study_design_scores_gemma":[0.000143709,0.0003250622,0.0007951873,0.000696637,0.00009603268,0.001115182,0.001064415,0.3002279,0.01356481,0.5268862,0.1548906,0.0001943461],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006723531,0.00002778414,0.9970382,0.0001547874,0.0000101395,0.00009148236,0.00001406051,0.0002388085,0.001752364],"genre_scores_gemma":[0.0127753,0.00008993311,0.9857837,0.00007808921,0.00001053928,0.0003526506,0.00005103755,0.0001251813,0.0007335796],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00928061,"threshold_uncertainty_score":0.04908115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07290963996075285,"score_gpt":0.3233122804366441,"score_spread":0.2504026404758913,"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."}}