Component-based software engineering
by George T. Heineman, William T. Councill · first published 2001
4mentions
0recommended by
3HN commenters
2018–2020first – last mentioned
100% neutral
"Beginning with some definitions, the book moves on to cover nearly every aspect of component engineering - from software engineering practices to the design of software component infrastructures, technologies, and systems. The book includes specific examples of CBSE successes and failures, and provides a balanced overview of the complexities of the component-based software life cycle."--Jacket.
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…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.
on “A Guide to Undefined Behavior in C and C++ (2010)” ↗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…
on “OOP Is Dead, Long Live OOP” ↗…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…
on “The SeL4 Foundation: What and Why” ↗> 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…
on “The SeL4 Foundation: What and Why” ↗