{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:XDCNTLA4CQ3XVBTHPJB64R6JUP","short_pith_number":"pith:XDCNTLA4","schema_version":"1.0","canonical_sha256":"b8c4d9ac1c14377a86677a43ee47c9a3d01ad63d56e6d34e30309ae915905202","source":{"kind":"arxiv","id":"1603.02130","version":2},"attestation_state":"computed","paper":{"title":"From Design Contracts to Component Requirements Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andrew Gacek, Darren Cofer, Jing Liu, John D. Backes","submitted_at":"2016-03-07T16:09:42Z","abstract_excerpt":"During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a result, there may be manual steps to translate requirements between these different environments. This paper presents a tool-supported export technique that translates high-level requirements from the software architecture modeling environment into observers of requirements that can be used for verification in the software component environment. This allows efficient verification that the component designs comply wi"},"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":"1603.02130","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-07T16:09:42Z","cross_cats_sorted":[],"title_canon_sha256":"879ebfeaae2e8d87779ac55626c09ded7e768ffc7374c533887a17c0770044ba","abstract_canon_sha256":"c26877fa9f596687eef117f834d595dd2fa2c4d87b5e71b08da258125aa47565"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:24.168687Z","signature_b64":"EjO/2OFTnqv84xQgPYU2xRMl/nYRYGrGX8iEEk51RscO0lEEQAf0i9XQa0X9Oj35jL6My9Qoae9HTtjJnDG2Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8c4d9ac1c14377a86677a43ee47c9a3d01ad63d56e6d34e30309ae915905202","last_reissued_at":"2026-05-18T01:16:24.168002Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:24.168002Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Design Contracts to Component Requirements Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andrew Gacek, Darren Cofer, Jing Liu, John D. Backes","submitted_at":"2016-03-07T16:09:42Z","abstract_excerpt":"During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a result, there may be manual steps to translate requirements between these different environments. This paper presents a tool-supported export technique that translates high-level requirements from the software architecture modeling environment into observers of requirements that can be used for verification in the software component environment. This allows efficient verification that the component designs comply wi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.02130","kind":"arxiv","version":2},"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":"1603.02130","created_at":"2026-05-18T01:16:24.168101+00:00"},{"alias_kind":"arxiv_version","alias_value":"1603.02130v2","created_at":"2026-05-18T01:16:24.168101+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.02130","created_at":"2026-05-18T01:16:24.168101+00:00"},{"alias_kind":"pith_short_12","alias_value":"XDCNTLA4CQ3X","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_16","alias_value":"XDCNTLA4CQ3XVBTH","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_8","alias_value":"XDCNTLA4","created_at":"2026-05-18T12:30:51.357362+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/XDCNTLA4CQ3XVBTHPJB64R6JUP","json":"https://pith.science/pith/XDCNTLA4CQ3XVBTHPJB64R6JUP.json","graph_json":"https://pith.science/api/pith-number/XDCNTLA4CQ3XVBTHPJB64R6JUP/graph.json","events_json":"https://pith.science/api/pith-number/XDCNTLA4CQ3XVBTHPJB64R6JUP/events.json","paper":"https://pith.science/paper/XDCNTLA4"},"agent_actions":{"view_html":"https://pith.science/pith/XDCNTLA4CQ3XVBTHPJB64R6JUP","download_json":"https://pith.science/pith/XDCNTLA4CQ3XVBTHPJB64R6JUP.json","view_paper":"https://pith.science/paper/XDCNTLA4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1603.02130&json=true","fetch_graph":"https://pith.science/api/pith-number/XDCNTLA4CQ3XVBTHPJB64R6JUP/graph.json","fetch_events":"https://pith.science/api/pith-number/XDCNTLA4CQ3XVBTHPJB64R6JUP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XDCNTLA4CQ3XVBTHPJB64R6JUP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XDCNTLA4CQ3XVBTHPJB64R6JUP/action/storage_attestation","attest_author":"https://pith.science/pith/XDCNTLA4CQ3XVBTHPJB64R6JUP/action/author_attestation","sign_citation":"https://pith.science/pith/XDCNTLA4CQ3XVBTHPJB64R6JUP/action/citation_signature","submit_replication":"https://pith.science/pith/XDCNTLA4CQ3XVBTHPJB64R6JUP/action/replication_record"}},"created_at":"2026-05-18T01:16:24.168101+00:00","updated_at":"2026-05-18T01:16:24.168101+00:00"}