Uses of Software Specification Language - TL13 💎 #shorts #TauLanguage

Question: What are software specification languages and what will they do for Tau?

Answer: There is a difference between code and software specification and the difference is that code is machine instructions. So each code is also a specification by its own but specification is much broader than that. For example, you can tell your GPS application reach from point A to point B, that would be a specification but the code will be the actual instructions, the actual way to reach from point A to point B. Specification is much more general than code. In code, you need to say what happens to each point of time. In specification, you can for example give a global statement or even say things that should not happen. In code, you cannot say what will not happen, you can only say what to do. But in specification, can be anything you want to say about the program. So specification can be very partial, just say one thing and there can be many programs that admit that specification. In contrast with code, where each code is exactly one program.

#SoftwareSpecification #ProgrammingLanguage #SoftwareDesign #CodeVsSpecification #GPSApplication #MachineInstructions #GlobalStatements #PartialSpecification #CodeIsNotSpecification #SpecificationIsBroad #SoftwareEngineering #SoftwareDevelopment #ProgrammingConcepts #Coding #TechKnowledge #TauProject #SoftwareDesignAndSpecification #SoftwareDocumentation #ProgramDesign #SystemSpecification #ProgrammingTips #SoftwareArchitecture #ProgramOptimization #ProgrammingParadigms #SoftwareTesting #SoftwareVerification #ProgrammingBestPractices #SoftwareDebugging #CodeOptimization
Tau Official Website: https://tau.net/
Tau Official Telegram: https://t.me/tauchain
Tau Official Discord: https://discord.gg/fuTA5ymZ
Tau Official Development Updates: https://github.com/IDNI/TML
TML Playground: https://tml.tau.net/

Twitter: https://twitter.com/AndrewOnizuka
Facebook: https://www.facebook.com/profile.php?id=100073737020446
Instagram: https://www.instagram.com/andrewonizuka/
Reddit: https://www.reddit.com/user/Andrew_Onizuka

Many thanks
Video by Kampus Production from Pexels: https://www.pexels.com/video/men-having-a-discussion-at-work-8348314/
Photo by elifskies: https://www.pexels.com/photo/anonymous-lady-standing-alone-near-window-and-admiring-cityscape-7799309/