{"id":"W2168709131","doi":"10.1109/wcre.1995.514708","title":"Formal representation of reuseable software modules","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Executable; Programming language; Notation; Algebraic specification; Theoretical computer science; Formalism (music); Software; Formal specification; Mathematics","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.002173572,0.000656158,0.0003864869,0.001793807,0.0006809018,0.002763871,0.001927213,0.001336278,0.002786551],"category_scores_gemma":[0.003674865,0.000599777,0.001413656,0.001232545,0.003034158,0.003308568,0.001388345,0.001471293,0.0008889676],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001434608,"about_ca_system_score_gemma":0.001607445,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002005233,"about_ca_topic_score_gemma":0.002165315,"domain_scores_codex":[0.9981687,0.0004897902,0.0002060903,0.0001979896,0.0007368134,0.000200588],"domain_scores_gemma":[0.9977601,0.0007500905,0.0004365565,0.0004708663,0.0004841272,0.00009833192],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001175087,0.00002937152,0.0001212453,0.00007607814,0.00001243224,0.0001889527,0.0003548023,0.01289091,0.00259891,0.972305,0.0005887215,0.01082188],"study_design_scores_gemma":[0.00004250849,0.00006268128,0.0001593486,0.0001041248,0.00003794763,0.0003717023,0.0001383158,0.09573392,0.004860763,0.8464611,0.05199166,0.00003594972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009610954,0.0003740259,0.9802958,0.0004173015,0.00005346228,0.0001152421,0.0002438431,0.0006093883,0.008279914],"genre_scores_gemma":[0.2588916,0.0009347292,0.7275872,0.0002313211,0.0001486533,0.0005854347,0.001100364,0.000219521,0.01030127],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002786551,"threshold_uncertainty_score":0.01149511,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03645709987157526,"score_gpt":0.2683996024557855,"score_spread":0.2319425025842103,"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."}}