Paper Citation Record · LEDGER

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering

As of 9 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.16680.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.16680 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T20:19:10.452946Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

44 of 44 outbound references displayed

verified exact0
verified fuzzy0
unresolved44
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 15a47d4c-f1af-4879-b241-549fbc702cba · outbound

This paper cites The Rise of AI-Native Software Engineering: Implications for Practice, Education, and the Future Workforce.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering The Rise of AI-Native Software Engineering: Implications for Practice, Education, and the Future Workforce

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:04.333719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec212447-fa0a-4987-95c1-249075d2dc7d · outbound

This paper cites Spec-driven development: From code to contract in the age of AI coding assistants.arXiv preprint arXiv:2602.00180, 2026.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Spec-driven development: From code to contract in the age of AI coding assistants.arXiv preprint arXiv:2602.00180, 2026

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:04.454981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cce04a9c-2aa7-4566-8a05-137884ff6470 · outbound

This paper cites Hassan, Dayi Lin, Gopi Krishnan Rajbahadur, Keheliya Gallaba, Filipe R.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Hassan, Dayi Lin, Gopi Krishnan Rajbahadur, Keheliya Gallaba, Filipe R

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:04.643540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06883429-534c-48a0-bf98-ba362e3982a1 · outbound

This paper cites Rethinking Software Engineering for Agentic AI Systems.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Rethinking Software Engineering for Agentic AI Systems

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:04.779314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b5c87a5-57e4-4aed-9f26-4a3fd2f4122b · outbound

This paper cites Application of large language models to software engineering tasks: Opportunities, risks, and implications.IEEE Software, 40(3):4–8, 2023.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Application of large language models to software engineering tasks: Opportunities, risks, and implications.IEEE Software, 40(3):4–8, 2023

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:04.932469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1447424f-bf84-4e91-af71-7605870d96d9 · outbound

This paper cites Vibe coding in practice: Motivations, challenges, and a future outlook—a grey literature review.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Vibe coding in practice: Motivations, challenges, and a future outlook—a grey literature review

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:05.045526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7adc57aa-aa4f-41c1-a642-9e6d7e8538b2 · outbound

This paper cites vibe coding.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering vibe coding

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:05.223316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cd09dea-3607-4554-accc-4550223c5f1c · outbound

This paper cites Vibe coding as a reconfiguration of intent mediation in software development: Definition, implications, and research agenda.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Vibe coding as a reconfiguration of intent mediation in software development: Definition, implications, and research agenda

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:05.425027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cad77200-831c-4fd4-ac62-997cd40f64bb · outbound

This paper cites The Impact of AI on Developer Productivity: Evidence from GitHub Copilot.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering The Impact of AI on Developer Productivity: Evidence from GitHub Copilot

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:05.543003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0896f9a4-46d0-4001-a197-1e982215443c · outbound

This paper cites Echoes of AI: Investigating the downstream effects of AI assistants on software maintainability.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Echoes of AI: Investigating the downstream effects of AI assistants on software maintainability

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:05.649253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8c5f3c0-425f-4bef-b8f1-f31d895ac5f0 · outbound

This paper cites Asleep at the keyboard? assessing the security of GitHub Copilot’s code contributions.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Asleep at the keyboard? assessing the security of GitHub Copilot’s code contributions

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:05.754113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbdf8cab-3ba1-4605-bf8b-52b9c2b59b51 · outbound

This paper cites Do users write more insecure code with AI assistants? InProceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS ’23), pages 2785–2799.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Do users write more insecure code with AI assistants? InProceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS ’23), pages 2785–2799

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:05.896725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 462f0d59-2a6e-427e-b977-406e714fba8c · outbound

This paper cites Lost at C: A user study on the security implications of large language model code assistants.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Lost at C: A user study on the security implications of large language model code assistants

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.044132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 858154be-6513-4960-bdfb-070ef86554f2 · outbound

This paper cites Security weak- nesses of copilot-generated code in GitHub projects: An empirical study.ACM Transactions on Software Engi- neering and Methodology, 2025.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Security weak- nesses of copilot-generated code in GitHub projects: An empirical study.ACM Transactions on Software Engi- neering and Methodology, 2025

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.158701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b023a131-cc79-4d48-9d1b-beb150b13537 · outbound

This paper cites Constitutional spec-driven development: Enforcing security by construction in AI-assisted code generation.arXiv preprint arXiv:2602.02584, 2026.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Constitutional spec-driven development: Enforcing security by construction in AI-assisted code generation.arXiv preprint arXiv:2602.02584, 2026

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.255374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c170601-178c-4cf4-9567-12282dd0efba · outbound

This paper cites One Developer Is All You Need: A Case Study of an AI-Augmented One-Person Squad in a Brownfield Enterprise.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering One Developer Is All You Need: A Case Study of an AI-Augmented One-Person Squad in a Brownfield Enterprise

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.350856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eab6cb19-7fd1-4392-b335-2bd784aadab2 · outbound

This paper cites ISO/IEC 25010:2023 — systems and software engineering — systems and software quality require- ments and evaluation (SQuaRE) — product quality model.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering ISO/IEC 25010:2023 — systems and software engineering — systems and software quality require- ments and evaluation (SQuaRE) — product quality model

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.456268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3eb50d00-4702-47f6-b710-48ee665392a8 · outbound

This paper cites Hevner, Salvatore T.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Hevner, Salvatore T

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.580597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4d83224-b6e9-4f6b-afde-e8e0bd6d8ede · outbound

This paper cites Wieringa.Design Science Methodology for Information Systems and Software Engineering.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Wieringa.Design Science Methodology for Information Systems and Software Engineering

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.711389Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89c8038d-70b4-48f4-a2d4-7d2996e8f219 · outbound

This paper cites Large language models for software engineering: A systematic literature review.ACM Transactions on Software Engineering and Methodology, 33(8):220:1–220:79, 2024.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Large language models for software engineering: A systematic literature review.ACM Transactions on Software Engineering and Methodology, 33(8):220:1–220:79, 2024

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.866450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfb878dd-0409-482f-a494-f9c3c060bc87 · outbound

This paper cites an unresolved cited work.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:06.997195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11684a26-ff8b-4e38-a73c-e810212e4db1 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Evaluating Large Language Models Trained on Code

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:07.136989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f57915d2-bb8d-4607-a95e-bcfa11831c8d · outbound

This paper cites Competition- level code generation with AlphaCode.Science, 378(6624):1092–1097, 2022.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Competition- level code generation with AlphaCode.Science, 378(6624):1092–1097, 2022

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:07.262714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d0f8e6f-102f-4a33-81a5-176b1556a6f2 · outbound

This paper cites PhD thesis, University of California, Berkeley, 2008.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering PhD thesis, University of California, Berkeley, 2008

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:07.361640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66e79dd2-f392-4c55-ab60-3aa024a9c52c · outbound

This paper cites Program synthesis.Foundations and Trends in Pro- gramming Languages, 4(1–2):1–119, 2017.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Program synthesis.Foundations and Trends in Pro- gramming Languages, 4(1–2):1–119, 2017

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:07.460444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06d8a1c7-4c28-4215-8197-220df3751399 · outbound

This paper cites Paige, and Alfonso Pierantonio.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Paige, and Alfonso Pierantonio

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:07.594529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac4c1bc5-720e-445c-91ca-19f405cb758c · outbound

This paper cites design by contract.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering design by contract

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:07.759653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35722af4-bad2-480d-ba17-1ca650edc1d7 · outbound

This paper cites Boehm.Software Engineering Economics.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Boehm.Software Engineering Economics

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:07.946563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18700c95-465a-4502-adb5-e249b1c53453 · outbound

This paper cites Large language models meet NL2Code: A survey.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Large language models meet NL2Code: A survey

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:08.139174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1e33f54-6978-4fa8-a194-96e44eaf7591 · outbound

This paper cites an unresolved cited work.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:08.335494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33cdef72-0def-4a82-981c-c7ed1b2c3ce6 · outbound

This paper cites Is your code generated by ChatGPT really correct? rigorous evaluation of large language models for code generation.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Is your code generated by ChatGPT really correct? rigorous evaluation of large language models for code generation

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:08.467106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c39712f-d480-4920-a96c-d4da6a5d1813 · outbound

This paper cites Guidelines for performing systematic literature reviews in software engineering.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Guidelines for performing systematic literature reviews in software engineering

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:08.598358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f728a5a1-ca62-4472-b3a9-869d97a1adcd · outbound

This paper cites M¨antyl¨a.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering M¨antyl¨a

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:08.738154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 043a8219-dc13-456b-b160-7e3ca492bf6d · outbound

This paper cites Human-Written vs. AI-Generated Code: A Large-Scale Study of Defects, Vulnerabilities, and Complexity.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Human-Written vs. AI-Generated Code: A Large-Scale Study of Defects, Vulnerabilities, and Complexity

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:08.915723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 667af506-270b-49d4-9408-b61bf9eed25a · outbound

This paper cites An empirical study of automated unit test generation for Python.Empirical Software Engineering, 28(2):36, 2023.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering An empirical study of automated unit test generation for Python.Empirical Software Engineering, 28(2):36, 2023

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:09.100451Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25ad2bbb-4718-410d-94d6-b37f12a2fb92 · outbound

This paper cites Lahiri, and Siddhartha Sen.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Lahiri, and Siddhartha Sen

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:09.185979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec6f3f45-6026-4798-a928-5ae063c794a5 · outbound

This paper cites N-Version Assessment and Enhancement of Generative AI.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering N-Version Assessment and Enhancement of Generative AI

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:09.326632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6df54ca9-b952-414a-9b40-fd9b439eead7 · outbound

This paper cites Morescient GAI for software engineering.ACM Transactions on Software Engineering and Methodology, 2025.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Morescient GAI for software engineering.ACM Transactions on Software Engineering and Methodology, 2025

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:09.547216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 228f01ab-cfe8-4361-9a19-a99f919f6a7e · outbound

This paper cites Big code != big vocabulary: Open-vocabulary models for source code.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Big code != big vocabulary: Open-vocabulary models for source code

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:09.666278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfd71ccb-b8a2-4ce5-8f6b-124526177b7d · outbound

This paper cites an unresolved cited work.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:09.839131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 843d2613-728b-4963-b0e0-5b96e1dc9655 · outbound

This paper cites Sculley, Gary Holt, Daniel Golovin, Eugene Davydov, Todd Phillips, Dietmar Ebner, Vinay Chaudhary, Michael Young, Jean-Franc ¸ois Crespo, and Dan Dennison.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Sculley, Gary Holt, Daniel Golovin, Eugene Davydov, Todd Phillips, Dietmar Ebner, Vinay Chaudhary, Michael Young, Jean-Franc ¸ois Crespo, and Dan Dennison

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:09.972639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2c839fb-bf8a-4175-abe4-cd6951453390 · outbound

This paper cites an unresolved cited work.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:10.113065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1722a2b9-9bb1-4681-a59f-dbf4756ca386 · outbound

This paper cites Requirements engineering challenges in building AI-based com- plex systems.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Requirements engineering challenges in building AI-based com- plex systems

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:10.268874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32e9c33d-b3a6-470b-9f77-b1a526158b26 · outbound

This paper cites Formal verification of smart contracts: Short paper.

Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering Formal verification of smart contracts: Short paper

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T20:19:10.452946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.