{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:PVCI7X6J6LAFSXYXUVPC5RAFDS","short_pith_number":"pith:PVCI7X6J","schema_version":"1.0","canonical_sha256":"7d448fdfc9f2c0595f17a55e2ec4051c9c8c3a18d4d7e255b7f49e757fb3de58","source":{"kind":"arxiv","id":"1604.03184","version":1},"attestation_state":"computed","paper":{"title":"Desiree - a Refinement Calculus for Requirements Engineering","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Feng-Lin Li, John Mylopoulos","submitted_at":"2016-04-12T00:32:53Z","abstract_excerpt":"The requirements elicited from stakeholders suffer from various afflictions, including informality, incompleteness, ambiguity, vagueness, inconsistencies, and more. It is the task of requirements engineering (RE) processes to derive from these an eligible (formal, complete enough, unambiguous, consistent, measurable, satisfiable, modifiable and traceable) requirements specification that truly captures stakeholder needs.\n  We propose Desiree, a refinement calculus for systematically transforming stakeholder require-ments into an eligible specification. The core of the calculus is a rich set of "},"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":"1604.03184","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2016-04-12T00:32:53Z","cross_cats_sorted":[],"title_canon_sha256":"c9e38a4ea47f2440f39f8cefbb002b9bf0f3fd641c3a831c65c89ae68b4201b3","abstract_canon_sha256":"06b0242c91a8c6f15d3b7e76c1cfd795e0889861aecc2c77e823bc8b1cd968b8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:16.222433Z","signature_b64":"bfF69/6alt/i8G2bNmSd0LtG7Tt5JwSiU2m0biDHYpUA31ECb22l4nXo29v2VFz/kgUtIZuVInlfpGbtEnpqCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d448fdfc9f2c0595f17a55e2ec4051c9c8c3a18d4d7e255b7f49e757fb3de58","last_reissued_at":"2026-05-18T01:17:16.221744Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:16.221744Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Desiree - a Refinement Calculus for Requirements Engineering","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Feng-Lin Li, John Mylopoulos","submitted_at":"2016-04-12T00:32:53Z","abstract_excerpt":"The requirements elicited from stakeholders suffer from various afflictions, including informality, incompleteness, ambiguity, vagueness, inconsistencies, and more. It is the task of requirements engineering (RE) processes to derive from these an eligible (formal, complete enough, unambiguous, consistent, measurable, satisfiable, modifiable and traceable) requirements specification that truly captures stakeholder needs.\n  We propose Desiree, a refinement calculus for systematically transforming stakeholder require-ments into an eligible specification. The core of the calculus is a rich set of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.03184","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":"1604.03184","created_at":"2026-05-18T01:17:16.221841+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.03184v1","created_at":"2026-05-18T01:17:16.221841+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.03184","created_at":"2026-05-18T01:17:16.221841+00:00"},{"alias_kind":"pith_short_12","alias_value":"PVCI7X6J6LAF","created_at":"2026-05-18T12:30:39.010887+00:00"},{"alias_kind":"pith_short_16","alias_value":"PVCI7X6J6LAFSXYX","created_at":"2026-05-18T12:30:39.010887+00:00"},{"alias_kind":"pith_short_8","alias_value":"PVCI7X6J","created_at":"2026-05-18T12:30:39.010887+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/PVCI7X6J6LAFSXYXUVPC5RAFDS","json":"https://pith.science/pith/PVCI7X6J6LAFSXYXUVPC5RAFDS.json","graph_json":"https://pith.science/api/pith-number/PVCI7X6J6LAFSXYXUVPC5RAFDS/graph.json","events_json":"https://pith.science/api/pith-number/PVCI7X6J6LAFSXYXUVPC5RAFDS/events.json","paper":"https://pith.science/paper/PVCI7X6J"},"agent_actions":{"view_html":"https://pith.science/pith/PVCI7X6J6LAFSXYXUVPC5RAFDS","download_json":"https://pith.science/pith/PVCI7X6J6LAFSXYXUVPC5RAFDS.json","view_paper":"https://pith.science/paper/PVCI7X6J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.03184&json=true","fetch_graph":"https://pith.science/api/pith-number/PVCI7X6J6LAFSXYXUVPC5RAFDS/graph.json","fetch_events":"https://pith.science/api/pith-number/PVCI7X6J6LAFSXYXUVPC5RAFDS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PVCI7X6J6LAFSXYXUVPC5RAFDS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PVCI7X6J6LAFSXYXUVPC5RAFDS/action/storage_attestation","attest_author":"https://pith.science/pith/PVCI7X6J6LAFSXYXUVPC5RAFDS/action/author_attestation","sign_citation":"https://pith.science/pith/PVCI7X6J6LAFSXYXUVPC5RAFDS/action/citation_signature","submit_replication":"https://pith.science/pith/PVCI7X6J6LAFSXYXUVPC5RAFDS/action/replication_record"}},"created_at":"2026-05-18T01:17:16.221841+00:00","updated_at":"2026-05-18T01:17:16.221841+00:00"}