Eiffel Language and Design by Contract (eBook, ePUB)
Definitive Reference for Developers and Engineers
PAYBACK Punkte
0 °P sammeln!
"Eiffel Language and Design by Contract" "Eiffel Language and Design by Contract" offers a comprehensive exploration of the Eiffel programming language, celebrated for its clean syntax, robust object-oriented paradigms, and pioneering Design by Contract methodology. The book traces Eiffel's historical evolution, its philosophical foundations grounded in clarity and correctness, and its lasting influence on modern software engineering. Readers are guided through the language's nuanced comparison with other object-oriented systems, practical development workflows, and the thriving ecosystem supp...
"Eiffel Language and Design by Contract"
"Eiffel Language and Design by Contract" offers a comprehensive exploration of the Eiffel programming language, celebrated for its clean syntax, robust object-oriented paradigms, and pioneering Design by Contract methodology. The book traces Eiffel's historical evolution, its philosophical foundations grounded in clarity and correctness, and its lasting influence on modern software engineering. Readers are guided through the language's nuanced comparison with other object-oriented systems, practical development workflows, and the thriving ecosystem supporting professional Eiffel development.
With an architectural approach, the book systematically dissects Eiffel's syntax and semantics before delving into advanced object-oriented constructs such as inheritance, polymorphism, generics, and agent-based programming. Of particular distinction is its exhaustive treatment of Design by Contract: from fundamental elements like preconditions and invariants to advanced topics such as compositional contracts, runtime assertion checking, and integrating contracts with testing and formal verification. Real-world patterns for concurrency, exception handling, and robustness are addressed, arming developers with actionable knowledge for building reliable, scalable systems.
The volume also encompasses a rich collection of case studies demonstrating Eiffel's success in industrial, safety-critical, and academic contexts. Numerous chapters survey tooling for verification, documentation, and refactoring, while extension topics highlight interoperability, open-source collaboration, and the adaptation of contract-based reasoning beyond Eiffel. "Eiffel Language and Design by Contract" stands as an authoritative, practical resource for contemporary software engineers, architects, and researchers aiming to harness the rigor and elegance of contract-driven development.
"Eiffel Language and Design by Contract" offers a comprehensive exploration of the Eiffel programming language, celebrated for its clean syntax, robust object-oriented paradigms, and pioneering Design by Contract methodology. The book traces Eiffel's historical evolution, its philosophical foundations grounded in clarity and correctness, and its lasting influence on modern software engineering. Readers are guided through the language's nuanced comparison with other object-oriented systems, practical development workflows, and the thriving ecosystem supporting professional Eiffel development.
With an architectural approach, the book systematically dissects Eiffel's syntax and semantics before delving into advanced object-oriented constructs such as inheritance, polymorphism, generics, and agent-based programming. Of particular distinction is its exhaustive treatment of Design by Contract: from fundamental elements like preconditions and invariants to advanced topics such as compositional contracts, runtime assertion checking, and integrating contracts with testing and formal verification. Real-world patterns for concurrency, exception handling, and robustness are addressed, arming developers with actionable knowledge for building reliable, scalable systems.
The volume also encompasses a rich collection of case studies demonstrating Eiffel's success in industrial, safety-critical, and academic contexts. Numerous chapters survey tooling for verification, documentation, and refactoring, while extension topics highlight interoperability, open-source collaboration, and the adaptation of contract-based reasoning beyond Eiffel. "Eiffel Language and Design by Contract" stands as an authoritative, practical resource for contemporary software engineers, architects, and researchers aiming to harness the rigor and elegance of contract-driven development.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
