3 ms·
So what you're saying is software will be created by people using some kind of formal notation to write a precise specification for how it should behave, which
by Silhouette 5y ago
So what you're saying is software will be created by people using some kind of formal notation to write a precise specification for how it should behave, which the technology then follows? If only we had a name for that process...
- jasfi 5y agoExactly, we already do that. We want more detail and control, which means lower-level programming and writing more software. Specify programs by only a very brief specification is similar to No Code/Low Code. It's great for prototyping and not much more.