基于组件的软件工程
Component-based software engineering
George T. Heineman、William T. Councill · 初版 2001 年
3位读者提及
4次提及
“本书从若干基础定义切入，进而涵盖了组件工程的几乎方方面面——从软件工程实践到软件组件基础设施、技术与系统的设计。书中包含了 CBSE 成功与失败的具体范例，并对基于组件的软件生命周期的复杂性提供了平衡客观的概述。”——封套。
Hacker News 上怎么说
正在加载完整评论……
……面向对象编程》（Object-Oriented Programming）https://www.amazon.com/Component-Software-Object-Oriented-Pr... 第一版（1997年）使用的是 Component Pascal、C++ 和 Java，而第二版把 Component Pascal 替换成了 C#。《基于组件的软件工程：把各个部分拼在一起》（Component-Based Software Engineering: Putting the Pieces Together）https://www.amazon.com/Component-Based-Software-Engineering-... ECS 和面向数据编程（Data-oriented programming）并不是一码事。
…Object-Oriented Programming" https://www.amazon.com/Component-Software-Object-Oriented-Pr... First edition (1997) used Component Pascal, C++ and Java, while the 2nd edition replaced Component Pascal with C#. "Component-Based Software Engineering: Putting the Pieces Together" https://www.amazon.com/Component-Based-Software-Engineering-... ECS and Data-oriented programming aren't the same thing.
1997年出版的《组件软件：超越面向对象编程》，随后是2001年的《基于组件的软件工程：把各个部分拼在一起》。https://www.amazon.com/Component-Software-Beyond-Object-Orie... https://www.amazon.com/Component-Based-Software-Engineering-... 问题在于许多人搞得有多糟糕……
Published in 1997, "Component Software: Beyond Object-oriented Programming", followed by "Component-Based Software Engineering: Putting the Pieces Together" in 2001. https://www.amazon.com/Component-Software-Beyond-Object-Orie... https://www.amazon.com/Component-Based-Software-Engineering-... The problem is how badly many…
……组件，并奇迹般地让形式化验证变得可行。但针对任何特定的功能性问题，都存在不止一种可行的实现方案，而其中一些实现方案或许是易于处理的。据我所知，几十年来基于组件的软件工程一直是应用形式化验证的一项基石原则。这是一种过程方法。如果一个功能性问题足够复杂，从实际操作来看，它是必要的，尽管未必总是充分的……
…components and magically make verification tractable. But there's more than one possible implementation to any particular functional problem, and some of those implementations might be tractable. AFAIU Component-Based Software Engineering has been a bedrock principle of applied formal verification for decades. It's a process approach. If a functional problem is sufficiently complex it's necessary, if not always sufficient, as a practical…
> 据我所知，几十年来基于组件的软件工程一直是应用形式化验证的一项基石原则。 是的，但迄今为止唯一用这种技术完成验证的软件规模都极小（< 10KLOC），并且需要做极其夸张的简化……
> AFAIU Component-Based Software Engineering has been a bedrock principle of applied formal verification for decades. Yes, and still the only software verified using such techniques has been tiny (< 10KLOC) and required extraordinary simplification…