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/
-
PudgeTV
3 hours ago🟡 Practical Pudge Ep 29 w Todd Spears | Co-Host of "The Big Recap" on Rumble | A Mississippi Boy
2251 -
15:51
VIVA TV
4 hours agoJake Paul Is About To Get Bare Knuckled | Barstool Boxing | Large
2961 -
LIVE
Phyllis Schlafly Eagles
3 hours ago31st Collegians Summit LIVE | June 25, 2024
555 watching -
1:13:43
Awaken With JP
4 hours agoDebate Week - Of Course We Won't Be Biased - LIES Ep. 46
27.5K35 -
2:00:25
Tucker Carlson
2 hours agoSteve Sailer: BLM, Karens, Donald Trump, and What Democrats Don’t Want You to Know about DEI
92.2K75 -
40:55
Matt Kim
2 hours agoMissouri AG Andrew Bailey explains his LAWSUIT against NY for Trump's Prosecution | Matt Kim #101
10.7K18 -
27:40
TudorDixon
4 hours agoJoe Biden's Cognitive Issues with Rep. Ronny Jackson | The Tudor Dixon Podcast
1674 -
2:05:21
The Quartering
3 hours agoTim Pool Vs Youtube, Dr Disrespect Updates, The Acolyte Feminist Backfire & Disney Busted!
31.4K21 -
1:33:22
MTNTOUGH Fitness Lab
1 day agoKyle Thompson: Real Men Are Spiritually Resilient
452 -
LIVE
MissesMaam
7 hours agoGrinding Achievement + Perfection | Stardew Valley 💚✨ pt. 35
663 watching