{"id":"W2118180631","doi":"10.1109/apsec.1995.496953","title":"From scenarios to timed automata: building specifications from users requirements","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":66,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Automaton; Formalism (music); Semantics (computer science); Software requirements specification; Requirements engineering; Formal specification; Software engineering; Software; Programming language; Software development; Theoretical computer science; Software design","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.002211597,0.001122792,0.000430616,0.001384594,0.0005627493,0.001735609,0.001472355,0.001589802,0.003749533],"category_scores_gemma":[0.01145324,0.001004692,0.001571122,0.001340017,0.001743092,0.0038807,0.00214498,0.001695057,0.001377405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007443296,"about_ca_system_score_gemma":0.002018085,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002170871,"about_ca_topic_score_gemma":0.002955675,"domain_scores_codex":[0.9975526,0.001232359,0.0002358815,0.0002563702,0.0005969632,0.0001257741],"domain_scores_gemma":[0.9956433,0.002932841,0.0002781209,0.000557008,0.0004673649,0.0001213633],"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.0002446587,0.0001324712,0.0013137,0.000799977,0.00008352563,0.001289747,0.002555109,0.1733104,0.02255717,0.5734292,0.004877581,0.2194064],"study_design_scores_gemma":[0.00009476211,0.0002060996,0.0003702655,0.0002720263,0.00007627512,0.0007276758,0.0009103511,0.4264145,0.03538453,0.4625421,0.0729119,0.00008956918],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004464225,0.00007047761,0.9926246,0.000113037,0.0000217582,0.0001851918,0.0001536721,0.0006044282,0.001762538],"genre_scores_gemma":[0.06092733,0.0002888862,0.9356241,0.00009520787,0.00001563304,0.0005721676,0.0009790187,0.0002562313,0.001241417],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003749533,"threshold_uncertainty_score":0.01254338,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1639359180933306,"score_gpt":0.3189122951477157,"score_spread":0.1549763770543851,"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."}}