https://cognaptus.com/tags/software-assurance/ Recent content in Software Assurance on Cognaptus Hugo -- 0.145.0 en-us Sat, 03 Jan 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-01-03-ai-writes-the-rules-when-formal-logic-teaches-language-discipline/ Sat, 03 Jan 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-01-03-ai-writes-the-rules-when-formal-logic-teaches-language-discipline/ A comparison of three ways to guide an AI assistant when turning formal software requirements into readable, semantically disciplined language.