{"id":"W2143321576","doi":"10.1007/s00766-002-0154-9","title":"Lightweight models for interpreting informal specifications","year":2003,"lang":"en","type":"article","venue":"Requirements Engineering","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Promela; Computer science; Software engineering; Protocol (science); Formal specification; Iterative and incremental development; Process (computing); Software development process; Software; Software requirements specification; Model checking; Interpretation (philosophy); Software development; Goal-Driven Software Development Process; Formal methods; Programming language; Software construction","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":[],"consensus_categories":[],"category_scores_codex":[0.0003119437,0.0001973227,0.0001600306,0.0001962542,0.00007833005,0.0001138827,0.0006105066,0.00006575279,0.000004974063],"category_scores_gemma":[0.00002822492,0.000213461,0.00008552054,0.0002479794,0.000007814005,0.001081106,0.0001038212,0.0001143104,0.000007227762],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009851846,"about_ca_system_score_gemma":0.00003029538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001098607,"about_ca_topic_score_gemma":1.61352e-7,"domain_scores_codex":[0.9987485,0.000009232182,0.0003383624,0.0002956057,0.0002061366,0.0004022003],"domain_scores_gemma":[0.999141,0.00004769107,0.0000633568,0.0005702584,0.00007680332,0.0001008501],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[7.876852e-7,0.00001621188,0.00002341763,0.00003302505,0.00002020265,9.551501e-7,0.0002677443,0.07938427,0.002206596,0.9128143,0.0001911811,0.005041348],"study_design_scores_gemma":[0.0001659903,0.00003127108,0.0000225335,0.000074366,0.000004640478,0.000007130741,0.000001199728,0.870484,0.01683877,0.001428985,0.1106752,0.0002658656],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000546396,0.00008012429,0.9958138,0.00004143375,0.0003841221,0.0003451661,0.000002968795,0.001152371,0.001633605],"genre_scores_gemma":[0.2501097,0.00001080228,0.7495452,0.00002955339,0.00003200755,0.0001483215,0.00000370338,0.0000258532,0.00009484273],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9113853,"threshold_uncertainty_score":0.8704688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0466458519160742,"score_gpt":0.2525159321437516,"score_spread":0.2058700802276774,"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."}}