{"id":"W4249117568","doi":"10.1016/s0010-4485(00)00024-5","title":"A framework for system specification using chains on cell complexes","year":2000,"lang":"en","type":"article","venue":"Computer-Aided Design","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Formalism (music); System requirements specification; Formal specification; Programming language; Software requirements specification; Theoretical computer science; Software; Software engineering; Software development; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004087377,0.0003011758,0.0003350187,0.0001942588,0.0002022346,0.0002402111,0.001171789,0.0001584475,0.000008887164],"category_scores_gemma":[0.000004304669,0.000314405,0.0001267123,0.000371841,0.00003036099,0.0002535883,0.00008604694,0.0001933405,0.00005906159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002374885,"about_ca_system_score_gemma":0.00005236551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006560588,"about_ca_topic_score_gemma":8.05998e-8,"domain_scores_codex":[0.9980676,0.0001391801,0.0003967076,0.0006821967,0.0002885747,0.0004257151],"domain_scores_gemma":[0.9980629,0.0004212267,0.0001315275,0.001151555,0.0001031796,0.0001295832],"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.00002872818,0.0001312723,0.000005946031,0.0001160166,0.00001800215,0.00001417678,0.0004141926,0.1824404,0.001088084,0.6898334,0.001775485,0.1241343],"study_design_scores_gemma":[0.0002345031,0.0002932361,0.00005949266,0.0002744344,0.000007673794,0.00002080278,0.000001374091,0.9793813,0.008776645,0.004659352,0.005945691,0.0003454967],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001764791,0.00005377506,0.9944607,0.00007461505,0.0004128283,0.0009649031,0.000006250173,0.002181363,0.00008078109],"genre_scores_gemma":[0.1188634,0.000005964419,0.8804885,0.0001363396,0.0003283682,0.00008075376,0.000004497068,0.00004026337,0.00005193465],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7969409,"threshold_uncertainty_score":0.9999308,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08193719569290615,"score_gpt":0.2794972474683052,"score_spread":0.197560051775399,"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."}}