Constructive Traceable Fallibilist Specification (CTF) v1.0: A Pre-Specification Methodology for Trustworthy AI-Assisted Software Specification
0Citations signalées, ce qui n’est pas une note de qualité
0Institutions déclarées
0Pays d’affiliation déclarés
Le résumé fourni par la source
Constructive Traceable Fallibilist Specification (CTF) is the pre-specification layer of Output-Driven Development (ODD). It reconstructs specification as a first-class, inspectable object: multi-projection -> CTF semantic bundle -> evidence reference -> trust signal -> human review -> defeasible freeze. Claim strength: C2.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
La source scientifique ouverte est momentanément indisponible.
Les sujets associés
Advanced Software Engineering MethodologiesScientific Computing and Data ManagementSafety Systems Engineering in Autonomy