……https://users.ece.cmu.edu/~koopman/pubs/koopman14_toyota_ua_... [2] 几乎没人注意到。我知道这听起来很疯狂，但确实是真的：有一种简单易行的方法可以开发出无 bug 的软件。James Martin 在 1985 年的书《基于可证明正确构造的系统设计：真正软件工程的开端》（System design from provably correct constructs: the beginnings of true software engineering）中对此进行了阐述。如果有人想了解，这大概是最好的资料来源。[3] 一个使用语言或框架 A 的程序员，如果不能或不愿去学习语言……
…https://users.ece.cmu.edu/~koopman/pubs/koopman14_toyota_ua_... [2] Nearly nobody noticed. I know it sounds crazy but it's true: There's a simple, easy method to develop bug-free software. James Martin wrote it up in a book "System design from provably correct constructs: the beginnings of true software engineering." in 1985. That's probably the best source if anyone wants to read up on it. [3] A programmer in language or framework A who cannot or will not learn language…
……最早创造了“软件工程”（Software Engineering）这个术语。我现在不细说了，一句话：如果你还在文本编辑器里敲纯文本来写代码，那你就做错了。有一本书叫 James Martin 写的《基于可证明正确构造的系统设计》（System Design from Provably-Correct Constructs），如果你感兴趣的话，它介绍了 Hamilton 的方法。> 原文的核心观点是，如今唯一能让飞机保持在空中飞行的，只有容错和大量的……
…first coined the term "Software Engineering". I'm not going to go into it further now, suffice it to say if you are typing text into a text editor to write code you are doing it wrong. There's a book, "System Design from Provably-Correct Constructs" by James Martin, that presents Hamilton's method if you're interested. > The whole point of the original article is that, today, the only thing keeping planes in the air is fault tolerance and lots…
……他的出发点，但我认为“他根本没搞懂”。他没抓到重点（或者可能 HOS 跟 Martin 后来书里描述的相比确实太烂了……）---- 供参考，James Martin 后来写了《基于可证明正确构造的系统设计：真正软件工程的开端》（System Design from Provably Correct Constructs: The Beginnings of True Software Engineering），我就是从那本书里了解到这一切的。我其实对 HOS 本身了解不多，只知道书里的内容。如果你感兴趣，那本书正是……
…where he's coming from, but "he doesn't get it" IMO. He misses the point (or maybe HOS sucked compared to what was later described in Martin's book...) - - - - FWIW, James Martin went on to write "System Design from Provably Correct Constructs: The Beginnings of True Software Engineering" which is where I learned about all this. I don't actually know much about HOS specifically, only what's in that book. If you're interested that's the thing…
你可能会喜欢《基于可证明正确构造的系统设计》（System design from provably correct constructs），作者是 James Martin，但他展示的是 Margaret Hamilton 的成果。她是为阿波罗 11 号工作时构想出这些理念的 https://archive.org/details/systemdesignfrom00mart 用现代的话说……
You might like "System design from provably correct constructs", it's written by James Martin but it's presenting the work of Margaret Hamilton. She developed the ideas while working on Apollo 11 https://archive.org/details/systemdesignfrom00mart In modern terms…
我特意在订单历史里给你扒出来了。这就是那本 HOS 的书。我附了一个能看目录的预览链接。《基于可证明正确构造的系统设计：真正软件工程的开端》（System Design from Provably Correct Constructs: The Beginnings of True Software Engineering），作者 James Martin https://www.amazon.com/gp/product/013881483X/ref=ppx_yo_dt_b... https://archive.org/details/systemdesignfrom00mart/page/n3/m... 现在，如果你……
I had to dig it up out of my order history for you. Here is the HOS book. I've included a preview link that shows the Table of Contents. System Design from Provably Correct Constructs: The Beginnings of True Software Engineering by James Martin https://www.amazon.com/gp/product/013881483X/ref=ppx_yo_dt_b... https://archive.org/details/systemdesignfrom00mart/page/n3/m... Now, if you…
……恐惧症治疗”（Phobia Cure）算法等等等等。）重构信念结构的能力会引发自我定义的改变，哪怕你并不去使用它。《哥德尔、艾舍尔、巴赫：集异璧之大成》（Gödel, Escher, Bach: An Eternal Golden Braid）。关于 M. Hamilton 博士的高阶软件（Higher Order Software）的《基于可证明正确构造的系统设计：真正软件工程的开端》（System design from provably correct constructs : the beginnings of true software engineering）。Robert Anton Wilson 的一切作品。（这不是书名，我指的是他写的全部东西。）
…Phobia Cure" algorithm, among many others.) The capability to reprogram belief structures engenders a change of self-definition even if you don't use it. "Gödel, Escher, Bach: An Eternal Golden Braid" "System design from provably correct constructs : the beginnings of true software engineering" about Dr. M. Hamilton's Higher Order Software. Everything by Robert Anton Wilson. (That's not a title, I mean everything he wrote.)
……https://users.ece.cmu.edu/~koopman/pubs/koopman14_toyota_ua_... [2] 几乎没人注意到。我知道这听起来很疯狂，但确实是真的：有一种简单易行的方法可以开发出无 bug 的软件。James Martin 在 1985 年的书《基于可证明正确构造的系统设计：真正软件工程的开端》（System design from provably correct constructs: the beginnings of true software engineering）中对此进行了阐述。如果有人想了解，这大概是最好的资料来源。[3] 一个使用语言或框架 A 的程序员，如果不能或不愿去学习语言……
…https://users.ece.cmu.edu/~koopman/pubs/koopman14_toyota_ua_... [2] Nearly nobody noticed. I know it sounds crazy but it's true: There's a simple, easy method to develop bug-free software. James Martin wrote it up in a book "System design from provably correct constructs: the beginnings of true software engineering." in 1985. That's probably the best source if anyone wants to read up on it. [3] A programmer in language or framework A who cannot or will not learn language…
……最早创造了“软件工程”（Software Engineering）这个术语。我现在不细说了，一句话：如果你还在文本编辑器里敲纯文本来写代码，那你就做错了。有一本书叫 James Martin 写的《基于可证明正确构造的系统设计》（System Design from Provably-Correct Constructs），如果你感兴趣的话，它介绍了 Hamilton 的方法。> 原文的核心观点是，如今唯一能让飞机保持在空中飞行的，只有容错和大量的……
…first coined the term "Software Engineering". I'm not going to go into it further now, suffice it to say if you are typing text into a text editor to write code you are doing it wrong. There's a book, "System Design from Provably-Correct Constructs" by James Martin, that presents Hamilton's method if you're interested. > The whole point of the original article is that, today, the only thing keeping planes in the air is fault tolerance and lots…
……他的出发点，但我认为“他根本没搞懂”。他没抓到重点（或者可能 HOS 跟 Martin 后来书里描述的相比确实太烂了……）---- 供参考，James Martin 后来写了《基于可证明正确构造的系统设计：真正软件工程的开端》（System Design from Provably Correct Constructs: The Beginnings of True Software Engineering），我就是从那本书里了解到这一切的。我其实对 HOS 本身了解不多，只知道书里的内容。如果你感兴趣，那本书正是……
…where he's coming from, but "he doesn't get it" IMO. He misses the point (or maybe HOS sucked compared to what was later described in Martin's book...) - - - - FWIW, James Martin went on to write "System Design from Provably Correct Constructs: The Beginnings of True Software Engineering" which is where I learned about all this. I don't actually know much about HOS specifically, only what's in that book. If you're interested that's the thing…
你可能会喜欢《基于可证明正确构造的系统设计》（System design from provably correct constructs），作者是 James Martin，但他展示的是 Margaret Hamilton 的成果。她是为阿波罗 11 号工作时构想出这些理念的 https://archive.org/details/systemdesignfrom00mart 用现代的话说……
You might like "System design from provably correct constructs", it's written by James Martin but it's presenting the work of Margaret Hamilton. She developed the ideas while working on Apollo 11 https://archive.org/details/systemdesignfrom00mart In modern terms…
我特意在订单历史里给你扒出来了。这就是那本 HOS 的书。我附了一个能看目录的预览链接。《基于可证明正确构造的系统设计：真正软件工程的开端》（System Design from Provably Correct Constructs: The Beginnings of True Software Engineering），作者 James Martin https://www.amazon.com/gp/product/013881483X/ref=ppx_yo_dt_b... https://archive.org/details/systemdesignfrom00mart/page/n3/m... 现在，如果你……
I had to dig it up out of my order history for you. Here is the HOS book. I've included a preview link that shows the Table of Contents. System Design from Provably Correct Constructs: The Beginnings of True Software Engineering by James Martin https://www.amazon.com/gp/product/013881483X/ref=ppx_yo_dt_b... https://archive.org/details/systemdesignfrom00mart/page/n3/m... Now, if you…
……恐惧症治疗”（Phobia Cure）算法等等等等。）重构信念结构的能力会引发自我定义的改变，哪怕你并不去使用它。《哥德尔、艾舍尔、巴赫：集异璧之大成》（Gödel, Escher, Bach: An Eternal Golden Braid）。关于 M. Hamilton 博士的高阶软件（Higher Order Software）的《基于可证明正确构造的系统设计：真正软件工程的开端》（System design from provably correct constructs : the beginnings of true software engineering）。Robert Anton Wilson 的一切作品。（这不是书名，我指的是他写的全部东西。）
…Phobia Cure" algorithm, among many others.) The capability to reprogram belief structures engenders a change of self-definition even if you don't use it. "Gödel, Escher, Bach: An Eternal Golden Braid" "System design from provably correct constructs : the beginnings of true software engineering" about Dr. M. Hamilton's Higher Order Software. Everything by Robert Anton Wilson. (That's not a title, I mean everything he wrote.)