Knowledge Base:

Tag: DbC

share on: 
key concepts

Design by Contract

2021-01-08 No Comments

Key Concept: Design by Contract is the single most effective programming technique for delivering high-quality code. Here you can learn what the Design by Contract

Read More »
A Nail for a Fuse

A Nail for a Fuse

2009-11-27 3 Comments

If I were to search my soul, I’d have to admit that the use of assertions has helped me more than any other single technique,

Read More »
Search Content
Categories
Tags
active object (4) Active Objects (1) algorithms (1) architecture (7) arduino (2) ARM Cortex-M (6) Assertions (1) avoiding bugs (4) code (1) code generation (3) concurrency (17) DbC (2) design pattern (1) embedded C & C++ (4) embedded systems (4) event-driven (14) finite state machine (2) FSM (11) HSM (10) Linux (1) MDE (2) Miro Samek (6) Mock (1) modeling (7) OOP (3) POSIX (1) productivity (12) programming (15) prototyping (1) QM (4) QP (4) QP/Cpp (1) QS (1) QSPY (2) QUTest (2) RTEF (12) RTOS (13) state machine (11) TDD (3) testing (2) tools (10) tracing (2) UML (3) Unity (1) video tutorial (3)
Recent Posts
Recent Comments
Quantum Leaps logo
Knowledge Base
Support / Community
Contact
© 2005-2024 Quantum Leaps
Github Linkedin Youtube
Terms of Use | Site Map