The EiffelStudio Backend Stack
by Administrator (modified: 2026 Jan 26)
EiffelStudio combines specification, implementation, verification, and maintenance in a single toolchain — now extended to modern backend and data-driven systems.
The EiffelStudio Backend Stack
Visual Structure (Top → Bottom)
Application Layer Eiffel Applications (Web services, back-end systems, internal platforms)
⬇️
Framework & Logic Layer
- EiffelWeb framework (fastCGI, standalone server, ...)
- Design by Contract (Assertions, Invariants)
- Authentication (JWT, OAuth, Magic Links, API Keys)
⬇️
Data & Services Layer
- MySQL, MariaDB, PostgreSQL, ODBC, ... (Native EiffelStore bindings)
- SQLite (Embedded use cases)
- AWS S3 client (Storage)
- ZIP / Minizip (Packaging & artifacts)
- and many others
⬇️
Platform Layer
- EiffelStudio IDE
- Compiler, Debugger, Analyzer, Diagram tool, Metric, ...
- CLI & Automation Tools
⬇️
Operating Systems: Windows - macOS - Linux - Unix
The EiffelWeb framework
Overview of the framework design
