{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:VKGLQO2LKV6F7CCJEPQTUQHYPK","short_pith_number":"pith:VKGLQO2L","schema_version":"1.0","canonical_sha256":"aa8cb83b4b557c5f884923e13a40f87abc2d0bbbf95c407b1139c5cd8b07f73c","source":{"kind":"arxiv","id":"1704.04189","version":1},"attestation_state":"computed","paper":{"title":"Seamless Requirements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexandr Naumchev, Bertrand Meyer","submitted_at":"2017-04-13T15:58:52Z","abstract_excerpt":"Popular notations for functional requirements specifications frequently ignore developers' needs, target specific development models, or require translation of requirements into tests for verification; the results can give out-of-sync or downright incompatible artifacts. Seamless Requirements, a new approach to specifying functional requirements, contributes to developers' understanding of requirements and to software quality regardless of the process, while the process itself becomes lighter due to the absence of tests in the presence of formal verification. A development case illustrates the"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1704.04189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-04-13T15:58:52Z","cross_cats_sorted":[],"title_canon_sha256":"248531d89f96eb59f43ee868a2eba7c2dc05bc3f5eddbe685897e5621bc82c7b","abstract_canon_sha256":"b29728daa724b0061f62b1306586d74a18b712882e3372677c510b090b7d52a1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:22.892691Z","signature_b64":"6N6qA7ZwE3MRNb2yGosx87j5jXwUD8ZNMCLUB5ynGZaukDDkCVkD0fXhW9gAKUuyuop45DyCsH/Bn52id58fAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aa8cb83b4b557c5f884923e13a40f87abc2d0bbbf95c407b1139c5cd8b07f73c","last_reissued_at":"2026-05-18T00:46:22.892033Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:22.892033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Seamless Requirements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexandr Naumchev, Bertrand Meyer","submitted_at":"2017-04-13T15:58:52Z","abstract_excerpt":"Popular notations for functional requirements specifications frequently ignore developers' needs, target specific development models, or require translation of requirements into tests for verification; the results can give out-of-sync or downright incompatible artifacts. Seamless Requirements, a new approach to specifying functional requirements, contributes to developers' understanding of requirements and to software quality regardless of the process, while the process itself becomes lighter due to the absence of tests in the presence of formal verification. A development case illustrates the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04189","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1704.04189","created_at":"2026-05-18T00:46:22.892129+00:00"},{"alias_kind":"arxiv_version","alias_value":"1704.04189v1","created_at":"2026-05-18T00:46:22.892129+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04189","created_at":"2026-05-18T00:46:22.892129+00:00"},{"alias_kind":"pith_short_12","alias_value":"VKGLQO2LKV6F","created_at":"2026-05-18T12:31:49.984773+00:00"},{"alias_kind":"pith_short_16","alias_value":"VKGLQO2LKV6F7CCJ","created_at":"2026-05-18T12:31:49.984773+00:00"},{"alias_kind":"pith_short_8","alias_value":"VKGLQO2L","created_at":"2026-05-18T12:31:49.984773+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK","json":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK.json","graph_json":"https://pith.science/api/pith-number/VKGLQO2LKV6F7CCJEPQTUQHYPK/graph.json","events_json":"https://pith.science/api/pith-number/VKGLQO2LKV6F7CCJEPQTUQHYPK/events.json","paper":"https://pith.science/paper/VKGLQO2L"},"agent_actions":{"view_html":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK","download_json":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK.json","view_paper":"https://pith.science/paper/VKGLQO2L","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1704.04189&json=true","fetch_graph":"https://pith.science/api/pith-number/VKGLQO2LKV6F7CCJEPQTUQHYPK/graph.json","fetch_events":"https://pith.science/api/pith-number/VKGLQO2LKV6F7CCJEPQTUQHYPK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK/action/storage_attestation","attest_author":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK/action/author_attestation","sign_citation":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK/action/citation_signature","submit_replication":"https://pith.science/pith/VKGLQO2LKV6F7CCJEPQTUQHYPK/action/replication_record"}},"created_at":"2026-05-18T00:46:22.892129+00:00","updated_at":"2026-05-18T00:46:22.892129+00:00"}