{"id":"W2125219025","doi":"10.1109/rttas.1996.509528","title":"Temporal analysis and object-oriented real-time software development: a case study with ROOM/ObjecTime","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Executable; Computer science; Semantics (computer science); Programming language; Software; Software development; Software engineering; Automation; Temporal logic; 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.003136034,0.0004449488,0.0003754774,0.0006223574,0.0007518879,0.001661342,0.0009919953,0.00117516,0.00106081],"category_scores_gemma":[0.005725736,0.0003161517,0.0006521474,0.0008770353,0.002840752,0.002138646,0.001096047,0.001506772,0.000174738],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001026717,"about_ca_system_score_gemma":0.001000416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001922537,"about_ca_topic_score_gemma":0.001830605,"domain_scores_codex":[0.9976259,0.001299906,0.00009758977,0.0001689895,0.0006389144,0.0001686869],"domain_scores_gemma":[0.9951652,0.003721903,0.0003346981,0.0003775353,0.0002661118,0.0001345921],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0003699074,0.0002733382,0.002922621,0.0005225038,0.00005734448,0.004423016,0.005439365,0.1473496,0.01911279,0.6948723,0.002078284,0.1225788],"study_design_scores_gemma":[0.00007926081,0.0003024613,0.001681147,0.0001488803,0.00008468531,0.002801379,0.002727968,0.6696076,0.05549143,0.2157353,0.05124588,0.00009396517],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1461117,0.0006637032,0.8384406,0.0008084292,0.00003268621,0.0000788528,0.00003464086,0.0007444265,0.01308491],"genre_scores_gemma":[0.6840512,0.0006017373,0.3105013,0.000105535,0.00002735269,0.00009156496,0.00005543832,0.0002040677,0.004361854],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003136034,"threshold_uncertainty_score":0.01658517,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02361062929209342,"score_gpt":0.2585181195580339,"score_spread":0.2349074902659405,"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."}}