{"id":"W1599004321","doi":"10.1007/11428817_45","title":"Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Engineering Research","field":"Computer Science","cited_by":91,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Software requirements specification; Natural language; Specification language; Formal specification; Software engineering; Programming language; Ambiguity; Software requirements; Object language; Contradiction; Requirements analysis; Formal methods; Programming language specification; Software; Software development; Natural language processing; Software design; Linguistics","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.002520038,0.0005201508,0.0005234279,0.0008806142,0.000421418,0.001890811,0.001026731,0.0006784694,0.009583556],"category_scores_gemma":[0.009592513,0.0008299841,0.001224852,0.0005304931,0.001196997,0.002336672,0.002434967,0.001634086,0.003052494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007694587,"about_ca_system_score_gemma":0.001298825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001469152,"about_ca_topic_score_gemma":0.001243825,"domain_scores_codex":[0.997375,0.0009535046,0.0002313342,0.0004088219,0.0007902125,0.0002411209],"domain_scores_gemma":[0.9916207,0.005699863,0.0003735237,0.001291795,0.0009000106,0.0001141207],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001181752,0.000559822,0.002425512,0.001052522,0.00009902237,0.001007172,0.004323872,0.04118022,0.1401145,0.2184199,0.01970196,0.5699337],"study_design_scores_gemma":[0.0003481993,0.0003782495,0.001137639,0.0002762596,0.0001352254,0.0005678299,0.000593263,0.4828369,0.2727213,0.1825349,0.05833533,0.0001349164],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02017109,0.00004289646,0.9574202,0.0001603756,0.0000633171,0.0002492434,0.000198489,0.01755491,0.004139444],"genre_scores_gemma":[0.4046984,0.0001173303,0.5834771,0.000248167,0.00003907631,0.0004122611,0.00136289,0.003804259,0.005840552],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009583556,"threshold_uncertainty_score":0.03206021,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01644087838486525,"score_gpt":0.2811881087732174,"score_spread":0.2647472303883521,"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."}}