{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:RTVAPMRQ4WEYXGFJAC5ER2ESAH","short_pith_number":"pith:RTVAPMRQ","canonical_record":{"source":{"id":"1911.02564","kind":"arxiv","version":6},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-11-06T14:40:16Z","cross_cats_sorted":["cs.FL","cs.PL"],"title_canon_sha256":"ac730db9dbe79df87b5566f46b8d7d4da9fa5c6747e76d4c878050d460317cf4","abstract_canon_sha256":"f9748ffa26035c03a8c12bf525e3d08fed962cd2a4090fdf917125a0339993b3"},"schema_version":"1.0"},"canonical_sha256":"8cea07b230e5898b98a900ba48e89201f6969063228d8e13aedba552b18943f4","source":{"kind":"arxiv","id":"1911.02564","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.02564","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"arxiv_version","alias_value":"1911.02564v6","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.02564","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"pith_short_12","alias_value":"RTVAPMRQ4WEY","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"pith_short_16","alias_value":"RTVAPMRQ4WEYXGFJ","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"pith_short_8","alias_value":"RTVAPMRQ","created_at":"2026-07-05T00:55:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:RTVAPMRQ4WEYXGFJAC5ER2ESAH","target":"record","payload":{"canonical_record":{"source":{"id":"1911.02564","kind":"arxiv","version":6},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-11-06T14:40:16Z","cross_cats_sorted":["cs.FL","cs.PL"],"title_canon_sha256":"ac730db9dbe79df87b5566f46b8d7d4da9fa5c6747e76d4c878050d460317cf4","abstract_canon_sha256":"f9748ffa26035c03a8c12bf525e3d08fed962cd2a4090fdf917125a0339993b3"},"schema_version":"1.0"},"canonical_sha256":"8cea07b230e5898b98a900ba48e89201f6969063228d8e13aedba552b18943f4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:55:29.380686Z","signature_b64":"76/1qK0V53B4/5Kj++PzDFhc4ImZXPMcHiSkq80nSa3HDidy7jI4gUqqzMe34x3jQp57tFXhJOYmFE7oGO4BDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8cea07b230e5898b98a900ba48e89201f6969063228d8e13aedba552b18943f4","last_reissued_at":"2026-07-05T00:55:29.380203Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:55:29.380203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.02564","source_version":6,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T00:55:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mho8paYTrf16hLxaATX/QfF5rdmFTncI194QD6MdaD+bPwIQO+wJNB/H8TnhA8OZvDlV+wdvOsZQk9C8YfylCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T23:33:31.324800Z"},"content_sha256":"681a7ce3c4937c3776aceefa78b1dec9811762a99b528ca883c7575beb4aee1b","schema_version":"1.0","event_id":"sha256:681a7ce3c4937c3776aceefa78b1dec9811762a99b528ca883c7575beb4aee1b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:RTVAPMRQ4WEYXGFJAC5ER2ESAH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The role of formalism in system requirements (full version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL","cs.PL"],"primary_cat":"cs.SE","authors_text":"Alexandr Naumchev, Bertrand Meyer, Florian Galinier, Jean-Michel Bruel, Manuel Mazzara, Sophie Ebersold","submitted_at":"2019-11-06T14:40:16Z","abstract_excerpt":"A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, good for understandability but lacking in precision. To make requirements precise, researchers have for years advocated the use of mathematics-based notations and methods, known as \"formal\". Many exist, differing in their style, scope and applicability. The present survey discusses some of the main formal approaches and compares them to informal methods. The analysis uses a set of 9 complementary criteri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.02564","kind":"arxiv","version":6},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1911.02564/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T00:55:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/TAIH22GYR7aFvgE+bE+DbgDZF3cwero1ShdHmRNYjFWViW7SZN69O/wsmvSuY/pEyYYDGwVacF7U3oqIJLJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T23:33:31.325304Z"},"content_sha256":"572ccc30f1a6255111ebbbf61eec640261a26a87b429a7b8eda73893c166a355","schema_version":"1.0","event_id":"sha256:572ccc30f1a6255111ebbbf61eec640261a26a87b429a7b8eda73893c166a355"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RTVAPMRQ4WEYXGFJAC5ER2ESAH/bundle.json","state_url":"https://pith.science/pith/RTVAPMRQ4WEYXGFJAC5ER2ESAH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RTVAPMRQ4WEYXGFJAC5ER2ESAH/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T23:33:31Z","links":{"resolver":"https://pith.science/pith/RTVAPMRQ4WEYXGFJAC5ER2ESAH","bundle":"https://pith.science/pith/RTVAPMRQ4WEYXGFJAC5ER2ESAH/bundle.json","state":"https://pith.science/pith/RTVAPMRQ4WEYXGFJAC5ER2ESAH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RTVAPMRQ4WEYXGFJAC5ER2ESAH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:RTVAPMRQ4WEYXGFJAC5ER2ESAH","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f9748ffa26035c03a8c12bf525e3d08fed962cd2a4090fdf917125a0339993b3","cross_cats_sorted":["cs.FL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-11-06T14:40:16Z","title_canon_sha256":"ac730db9dbe79df87b5566f46b8d7d4da9fa5c6747e76d4c878050d460317cf4"},"schema_version":"1.0","source":{"id":"1911.02564","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.02564","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"arxiv_version","alias_value":"1911.02564v6","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.02564","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"pith_short_12","alias_value":"RTVAPMRQ4WEY","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"pith_short_16","alias_value":"RTVAPMRQ4WEYXGFJ","created_at":"2026-07-05T00:55:29Z"},{"alias_kind":"pith_short_8","alias_value":"RTVAPMRQ","created_at":"2026-07-05T00:55:29Z"}],"graph_snapshots":[{"event_id":"sha256:572ccc30f1a6255111ebbbf61eec640261a26a87b429a7b8eda73893c166a355","target":"graph","created_at":"2026-07-05T00:55:29Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1911.02564/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, good for understandability but lacking in precision. To make requirements precise, researchers have for years advocated the use of mathematics-based notations and methods, known as \"formal\". Many exist, differing in their style, scope and applicability. The present survey discusses some of the main formal approaches and compares them to informal methods. The analysis uses a set of 9 complementary criteri","authors_text":"Alexandr Naumchev, Bertrand Meyer, Florian Galinier, Jean-Michel Bruel, Manuel Mazzara, Sophie Ebersold","cross_cats":["cs.FL","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-11-06T14:40:16Z","title":"The role of formalism in system requirements (full version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.02564","kind":"arxiv","version":6},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:681a7ce3c4937c3776aceefa78b1dec9811762a99b528ca883c7575beb4aee1b","target":"record","created_at":"2026-07-05T00:55:29Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f9748ffa26035c03a8c12bf525e3d08fed962cd2a4090fdf917125a0339993b3","cross_cats_sorted":["cs.FL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-11-06T14:40:16Z","title_canon_sha256":"ac730db9dbe79df87b5566f46b8d7d4da9fa5c6747e76d4c878050d460317cf4"},"schema_version":"1.0","source":{"id":"1911.02564","kind":"arxiv","version":6}},"canonical_sha256":"8cea07b230e5898b98a900ba48e89201f6969063228d8e13aedba552b18943f4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8cea07b230e5898b98a900ba48e89201f6969063228d8e13aedba552b18943f4","first_computed_at":"2026-07-05T00:55:29.380203Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:55:29.380203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"76/1qK0V53B4/5Kj++PzDFhc4ImZXPMcHiSkq80nSa3HDidy7jI4gUqqzMe34x3jQp57tFXhJOYmFE7oGO4BDA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:55:29.380686Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.02564","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:681a7ce3c4937c3776aceefa78b1dec9811762a99b528ca883c7575beb4aee1b","sha256:572ccc30f1a6255111ebbbf61eec640261a26a87b429a7b8eda73893c166a355"],"state_sha256":"cd5b6cee78c4382ce157071e4427f21919c7ddc6ef4913aa69ff011e380e7e7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rY3T7g5FG9FWXM4g4e87jwAduvmUGBRhFNJdupgnJ2WMkl/TinEVnRdX8nvltNZtxaMIfL45me7Mi/d9qwPqAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T23:33:31.329129Z","bundle_sha256":"ecbe5a8958214b50bb75a8c49cd52f66e0826b3273001bd4da744b00472b6d8a"}}