{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006142736,0.001871195,0.001404216,0.002829899,0.001117566,0.005146523,0.003240718,0.002865944,0.005276146],"category_scores_gemma":[0.03298853,0.002373244,0.003713174,0.002252695,0.002232079,0.01078415,0.005246745,0.004298425,0.001880285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001838937,"about_ca_system_score_gemma":0.002236508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002766247,"about_ca_topic_score_gemma":0.005065796,"domain_scores_codex":[0.9919174,0.002926883,0.001034246,0.0005735279,0.003125659,0.0004221959],"domain_scores_gemma":[0.9789063,0.01076497,0.001564522,0.006948836,0.001532919,0.0002825535],"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":[0.0001794584,0.0001062314,0.0009160459,0.0007280204,0.0001231101,0.0005317231,0.001584109,0.03662962,0.008182822,0.8171,0.00682502,0.1270937],"study_design_scores_gemma":[0.00008229365,0.00007513924,0.0001892098,0.0003763512,0.0002337971,0.0002863135,0.0002046702,0.3118402,0.01407488,0.6299165,0.04263569,0.00008485388],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001406792,0.00006442453,0.9952296,0.0001225919,0.00002556638,0.00005714533,0.0001166823,0.002331576,0.0006457456],"genre_scores_gemma":[0.08569013,0.0003451726,0.9080806,0.0001675039,0.00006358072,0.0004844585,0.001057147,0.001513126,0.002598249],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006142736,"threshold_uncertainty_score":0.03248626,"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."}}