{"id":"W2057406227","doi":"10.1016/j.infsof.2003.09.012","title":"An integrated framework for formal development of open distributed systems","year":2003,"lang":"en","type":"article","venue":"Information and Software Technology","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Notation; Computer science; Usability; Formalism (music); Software engineering; Formal methods; Formal specification; Development (topology); Programming language; Systems engineering; Human–computer interaction; 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.008014545,0.00135531,0.001277121,0.00176143,0.001570744,0.005620305,0.004707083,0.001960652,0.00447351],"category_scores_gemma":[0.009432698,0.001709838,0.002819258,0.001549927,0.003396268,0.006543901,0.004740034,0.004552309,0.001628399],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002138235,"about_ca_system_score_gemma":0.005893094,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006404513,"about_ca_topic_score_gemma":0.008132471,"domain_scores_codex":[0.995504,0.001395848,0.000620763,0.0004912824,0.001631348,0.0003567505],"domain_scores_gemma":[0.9958093,0.001851093,0.0002445038,0.001092949,0.0007380009,0.0002640375],"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.00006031904,0.00015227,0.000420747,0.0004117776,0.00007539003,0.0002664832,0.001084248,0.04971261,0.003539126,0.837456,0.003831575,0.1029896],"study_design_scores_gemma":[0.0001419793,0.00009587103,0.0001940714,0.0003705014,0.0001629491,0.000268695,0.0002119393,0.2939522,0.006241796,0.590382,0.1078846,0.00009332565],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005319213,0.00006950691,0.9968948,0.0001085807,0.00002270069,0.00007816974,0.00003510266,0.001334373,0.000924785],"genre_scores_gemma":[0.0188362,0.0002051494,0.9788619,0.00005543215,0.00002830814,0.0002844707,0.0002489324,0.0003871637,0.001092446],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008014545,"threshold_uncertainty_score":0.04238546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01114454743962145,"score_gpt":0.2630751640286917,"score_spread":0.2519306165890703,"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."}}